sequence.mli 259 Bytes
Newer Older
1
2
val nil_type: Types.descr
val nil_atom: Types.atom
3
4
5
6
7
8
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