mizusato 9031f419c5 fix, merge stdlib modules il y a 3 ans
..
seq_cons.km 9031f419c5 fix, merge stdlib modules il y a 3 ans
seq_ops.km 9031f419c5 fix, merge stdlib modules il y a 3 ans