sequence.mli 208 Bytes
Newer Older
1
2
3
4
5
6
val any: Types.descr
val seqseq: Types.descr

val concat: Types.descr -> Types.descr -> Types.descr
val flatten: Types.descr -> Types.descr
val map: (Types.descr -> Types.descr) -> Types.descr -> Types.descr