├── .gitattributes ├── .github ├── scripts │ ├── build-dune.sh │ ├── build-in-docker.sh │ ├── build-make-no-magic.sh │ └── build-make.sh └── workflows │ ├── ci.yml │ └── windows.yml.disabled ├── .gitignore ├── AUTHORS ├── CHANGES.md ├── COPYING ├── Dockerfile ├── INSTALL ├── META.in ├── Makefile.am ├── Makefile.config.in ├── Makefile.in ├── NEWS ├── README.md ├── VERSION ├── aclocal.m4 ├── autogen ├── ci └── cygwin-compile-ocaml.sh ├── compile ├── config.h.in ├── configure ├── configure.ac ├── dockerfiles ├── ocaml-5-beta │ └── Dockerfile └── old-ocamls │ └── Dockerfile ├── dune ├── dune-project ├── generate_interfaces.sh ├── install-sh ├── interface_generator ├── Makefile ├── dump_interfaces.sh ├── generate_interfaces.sh ├── interface_dumper.ml ├── interface_dumper.mli ├── interface_generator.ml ├── interface_generator.mli ├── interface_tools.ml └── interface_tools.mli ├── interfaces ├── 3.07 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 3.08 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 3.09 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 3.10 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 3.11 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 3.12 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 4.00 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 4.01 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 4.02 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ └── weak.mli ├── 4.03 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ └── weak.mli ├── 4.04 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ └── weak.mli ├── 4.05 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ └── weak.mli ├── 4.06 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── set.mli │ ├── sort.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ └── weak.mli ├── 4.07 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── sort.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ └── weak.mli ├── 4.08 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 4.09 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 4.10 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 4.11 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── spacetime.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 4.12 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── atomic.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── either.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 4.13 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── atomic.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── either.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 4.14 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── atomic.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── either.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── genlex.mli │ ├── hashtbl.mli │ ├── in_channel.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── out_channel.mli │ ├── parsing.mli │ ├── pervasives.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── stream.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 5.0 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── atomic.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── domain.mli │ ├── either.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── hashtbl.mli │ ├── in_channel.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── out_channel.mli │ ├── parsing.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── 5.1 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── atomic.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── domain.mli │ ├── either.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── hashtbl.mli │ ├── in_channel.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── out_channel.mli │ ├── parsing.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli └── 5.2 │ ├── arg.mli │ ├── array.mli │ ├── arrayLabels.mli │ ├── atomic.mli │ ├── bool.mli │ ├── buffer.mli │ ├── bytes.mli │ ├── bytesLabels.mli │ ├── callback.mli │ ├── char.mli │ ├── complex.mli │ ├── digest.mli │ ├── domain.mli │ ├── either.mli │ ├── ephemeron.mli │ ├── filename.mli │ ├── float.mli │ ├── format.mli │ ├── fun.mli │ ├── gc.mli │ ├── hashtbl.mli │ ├── in_channel.mli │ ├── int32.mli │ ├── int64.mli │ ├── lazy.mli │ ├── lexing.mli │ ├── list.mli │ ├── listLabels.mli │ ├── map.mli │ ├── marshal.mli │ ├── moreLabels.mli │ ├── nativeint.mli │ ├── obj.mli │ ├── oo.mli │ ├── option.mli │ ├── out_channel.mli │ ├── parsing.mli │ ├── printexc.mli │ ├── printf.mli │ ├── queue.mli │ ├── random.mli │ ├── result.mli │ ├── scanf.mli │ ├── seq.mli │ ├── set.mli │ ├── stack.mli │ ├── stdLabels.mli │ ├── stdlib.mli │ ├── string.mli │ ├── stringLabels.mli │ ├── sys.mli │ ├── uchar.mli │ ├── unit.mli │ └── weak.mli ├── missing ├── stdcompat.h.in ├── stdcompat.ml.in ├── stdcompat.mli.in ├── stdcompat.opam ├── stdcompat__arg.ml.in ├── stdcompat__arg.mli.in ├── stdcompat__arg_s.mli.in ├── stdcompat__array.ml.in ├── stdcompat__array.mli.in ├── stdcompat__arrayLabels.ml.in ├── stdcompat__arrayLabels.mli.in ├── stdcompat__arrayLabels_s.mli.in ├── stdcompat__array_s.mli.in ├── stdcompat__atomic.ml.in ├── stdcompat__atomic.mli.in ├── stdcompat__atomic_s.mli.in ├── stdcompat__bool.ml.in ├── stdcompat__bool.mli.in ├── stdcompat__bool_s.mli.in ├── stdcompat__buffer.ml.in ├── stdcompat__buffer.mli.in ├── stdcompat__buffer_s.mli.in ├── stdcompat__bytes.ml.in ├── stdcompat__bytes.mli.in ├── stdcompat__bytesLabels.ml.in ├── stdcompat__bytesLabels.mli.in ├── stdcompat__bytesLabels_s.mli.in ├── stdcompat__bytes_s.mli.in ├── stdcompat__char.ml.in ├── stdcompat__char.mli.in ├── stdcompat__char_s.mli.in ├── stdcompat__digest.ml.in ├── stdcompat__digest.mli.in ├── stdcompat__digest_s.mli.in ├── stdcompat__domain.ml.in ├── stdcompat__domain.mli.in ├── stdcompat__domain_s.mli.in ├── stdcompat__either.ml.in ├── stdcompat__either.mli.in ├── stdcompat__either_s.mli.in ├── stdcompat__ephemeron.ml.in ├── stdcompat__ephemeron.mli.in ├── stdcompat__ephemeron_s.mli.in ├── stdcompat__filename.ml.in ├── stdcompat__filename.mli.in ├── stdcompat__filename_s.mli.in ├── stdcompat__float.ml.in ├── stdcompat__float.mli.in ├── stdcompat__float_s.mli.in ├── stdcompat__format.ml.in ├── stdcompat__format.mli.in ├── stdcompat__format_s.mli.in ├── stdcompat__fun.ml.in ├── stdcompat__fun.mli.in ├── stdcompat__fun_s.mli.in ├── stdcompat__hashtbl.ml.in ├── stdcompat__hashtbl.mli.in ├── stdcompat__hashtbl_ext.ml.in ├── stdcompat__hashtbl_ext.mli.in ├── stdcompat__hashtbl_s.mli.in ├── stdcompat__in_channel.ml.in ├── stdcompat__in_channel.mli.in ├── stdcompat__in_channel_s.mli.in ├── stdcompat__init.mli.in ├── stdcompat__int.ml.in ├── stdcompat__int.mli.in ├── stdcompat__int32.ml.in ├── stdcompat__int32.mli.in ├── stdcompat__int32_s.mli.in ├── stdcompat__int64.ml.in ├── stdcompat__int64.mli.in ├── stdcompat__int64_s.mli.in ├── stdcompat__int_s.mli.in ├── stdcompat__lazy.ml.in ├── stdcompat__lazy.mli.in ├── stdcompat__lazy_s.mli.in ├── stdcompat__lexing.ml.in ├── stdcompat__lexing.mli.in ├── stdcompat__lexing_s.mli.in ├── stdcompat__list.ml.in ├── stdcompat__list.mli.in ├── stdcompat__listLabels.ml.in ├── stdcompat__listLabels.mli.in ├── stdcompat__listLabels_s.mli.in ├── stdcompat__list_s.mli.in ├── stdcompat__map.ml.in ├── stdcompat__map.mli.in ├── stdcompat__map_s.mli.in ├── stdcompat__moreLabels.ml.in ├── stdcompat__moreLabels.mli.in ├── stdcompat__moreLabels_s.mli.in ├── stdcompat__native.ml_byte.in ├── stdcompat__native.ml_native.in ├── stdcompat__native.mli ├── stdcompat__nativeint.ml.in ├── stdcompat__nativeint.mli.in ├── stdcompat__nativeint_s.mli.in ├── stdcompat__option.ml.in ├── stdcompat__option.mli.in ├── stdcompat__option_s.mli.in ├── stdcompat__out_channel.ml.in ├── stdcompat__out_channel.mli.in ├── stdcompat__out_channel_s.mli.in ├── stdcompat__pervasives.ml.in ├── stdcompat__pervasives.mli.in ├── stdcompat__pervasives_s.mli.in ├── stdcompat__printexc.ml.in ├── stdcompat__printexc.mli.in ├── stdcompat__printexc_s.mli.in ├── stdcompat__printf.ml.in ├── stdcompat__printf.mli.in ├── stdcompat__printf_s.mli.in ├── stdcompat__queue.ml.in ├── stdcompat__queue.mli.in ├── stdcompat__queue_s.mli.in ├── stdcompat__random.ml.in ├── stdcompat__random.mli.in ├── stdcompat__random_s.mli.in ├── stdcompat__result.ml.in ├── stdcompat__result.mli.in ├── stdcompat__result_s.mli.in ├── stdcompat__root.ml.in ├── stdcompat__root.mli.in ├── stdcompat__seq.ml.in ├── stdcompat__seq.mli.in ├── stdcompat__seq_s.mli.in ├── stdcompat__set.ml.in ├── stdcompat__set.mli.in ├── stdcompat__set_s.mli.in ├── stdcompat__stack.ml.in ├── stdcompat__stack.mli.in ├── stdcompat__stack_s.mli.in ├── stdcompat__stdlib.ml.in ├── stdcompat__stdlib.mli.in ├── stdcompat__stdlib_s.mli.in ├── stdcompat__string.ml.in ├── stdcompat__string.mli.in ├── stdcompat__stringLabels.ml.in ├── stdcompat__stringLabels.mli.in ├── stdcompat__stringLabels_s.mli.in ├── stdcompat__string_s.mli.in ├── stdcompat__stubs.c.in ├── stdcompat__sys.ml.in ├── stdcompat__sys.mli.in ├── stdcompat__sys_s.mli.in ├── stdcompat__tools.ml.in ├── stdcompat__tools.mli.in ├── stdcompat__uchar.ml.in ├── stdcompat__uchar.mli.in ├── stdcompat__uchar_s.mli.in ├── stdcompat__unit.ml.in ├── stdcompat__unit.mli.in ├── stdcompat__unit_s.mli.in ├── stdcompat__weak.ml.in ├── stdcompat__weak.mli.in ├── stdcompat__weak_s.mli.in ├── stdcompat_tests.ml.in └── test_all_switches.sh /.gitattributes: -------------------------------------------------------------------------------- 1 | ci/*.sh -text 2 | .github/scripts/*.sh text eol=lf 3 | /configure text eol=lf 4 | /Makefile.in text eol=lf 5 | /install-sh text eol=lf 6 | -------------------------------------------------------------------------------- /.github/scripts/build-dune.sh: -------------------------------------------------------------------------------- 1 | set -e 2 | opam install --yes dune 3 | dune build --ignore-promoted-rules 4 | dune runtest 5 | -------------------------------------------------------------------------------- /.github/scripts/build-in-docker.sh: -------------------------------------------------------------------------------- 1 | set -e 2 | ocaml_compiler="$1" 3 | builder="$2" 4 | opam switch "$ocaml_compiler" 5 | eval $(opam env) 6 | sh -exc ".github/scripts/build-\"$builder\".sh" 7 | -------------------------------------------------------------------------------- /.github/scripts/build-make-no-magic.sh: -------------------------------------------------------------------------------- 1 | set -e 2 | ./configure --disable-magic 3 | make 4 | make test 5 | -------------------------------------------------------------------------------- /.github/scripts/build-make.sh: -------------------------------------------------------------------------------- 1 | set -e 2 | ./configure 3 | make 4 | make test 5 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | _build/ 2 | *.install 3 | .merlin 4 | *~ 5 | *.[ao] 6 | *.cm[aiotx] 7 | *.cmti 8 | *.cmx[as] 9 | /Makefile 10 | /autom4te.cache 11 | /doc/ 12 | /tests.bytecode 13 | /tests.native 14 | /META 15 | /stdcompat.ml_byte 16 | /stdcompat.ml_native 17 | /.depend 18 | /stdcompat_*.ml 19 | /stdcompat_*.mli 20 | !/stdcompat__native.mli 21 | /interface_generator/interface_dumper 22 | /interface_generator/interface_generator 23 | /interface_generator/.depend 24 | /stdcompat.ml 25 | /stdcompat.mli 26 | /config.guess 27 | /config.log 28 | /config.status 29 | /config.sub 30 | /stamp-h1 31 | /config.h 32 | *.so 33 | /stdcompat__stubs.c 34 | /stdcompat__native.ml_native 35 | /stdcompat__native.ml_byte 36 | /stdcompat.h 37 | /stdcompat__domain.mli.in 38 | -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- 1 | Thierry Martinez -------------------------------------------------------------------------------- /META.in: -------------------------------------------------------------------------------- 1 | description = "Stdcompat: compatibility module for OCaml standard library" 2 | requires = "@SEQ_PKG@ @RESULT_PKG@ @UCHAR_PKG@" 3 | version = "@VERSION@" 4 | archive(byte) = "stdcompat.cma" 5 | archive(native) = "stdcompat.cmxa" 6 | plugin(byte) = "stdcompat.cma" 7 | plugin(native) = "@SHARED_LIBS@" 8 | -------------------------------------------------------------------------------- /Makefile.config.in: -------------------------------------------------------------------------------- 1 | OCAMLFIND := @OCAMLFIND@ 2 | OCAMLOPT := @OCAMLOPT@ 3 | OCAMLC := @OCAMLC@ 4 | OCAMLDOC := @OCAMLDOC@ 5 | OCAMLBEST := @OCAMLBEST@ 6 | RESULT_PKG := @RESULT_PKG@ 7 | SEQ_PKG := @SEQ_PKG@ 8 | UCHAR_PKG := @UCHAR_PKG@ -------------------------------------------------------------------------------- /NEWS: -------------------------------------------------------------------------------- 1 | See ChangeLog -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | 21 -------------------------------------------------------------------------------- /autogen: -------------------------------------------------------------------------------- 1 | #!/bin/sh 2 | autoheader 3 | aclocal 4 | automake --add-missing 5 | autoconf 6 | -------------------------------------------------------------------------------- /dockerfiles/ocaml-5-beta/Dockerfile: -------------------------------------------------------------------------------- 1 | FROM ubuntu 2 | ARG UID=1000 3 | RUN apt-get update && apt-get install --yes autoconf automake unzip aspcud rsync \ 4 | git mercurial darcs wget build-essential sudo vim curl 5 | RUN useradd -m -s /bin/bash ci --uid=${UID} 6 | RUN echo ci ALL=\(ALL\) NOPASSWD:ALL >/etc/sudoers 7 | USER ci 8 | RUN wget -O ~/opam https://github.com/ocaml/opam/releases/download/2.1.2/opam-2.1.2-x86_64-linux 9 | RUN chmod +x ~/opam 10 | RUN sudo mv ~/opam /usr/local/bin/opam 11 | RUN opam init --disable-sandboxing --auto-setup --dot-profile=/home/ci/.bash_env 12 | SHELL ["/bin/bash", "-c"] 13 | ENV BASH_ENV /home/ci/.bash_env 14 | ARG switches=5.0.0~alpha1 15 | RUN opam update && for switch in ${switches}; do opam switch create $switch; done 16 | USER root -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- 1 | (lang dune 2.0) 2 | (name stdcompat) 3 | -------------------------------------------------------------------------------- /interface_generator/generate_interfaces.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | set -e 3 | ./interface_generator 4 | -------------------------------------------------------------------------------- /interface_generator/interface_dumper.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocamllibs/stdcompat/021de1fd9cf85b266fe58722cfc902d89db54e4b/interface_generator/interface_dumper.mli -------------------------------------------------------------------------------- /interface_generator/interface_generator.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/ocamllibs/stdcompat/021de1fd9cf85b266fe58722cfc902d89db54e4b/interface_generator/interface_generator.mli -------------------------------------------------------------------------------- /interfaces/3.07/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val length : t -> int 5 | val clear : t -> unit 6 | val reset : t -> unit 7 | val add_char : t -> char -> unit 8 | val add_string : t -> string -> unit 9 | val add_substring : t -> string -> int -> int -> unit 10 | val add_substitute : t -> (string -> string) -> string -> unit 11 | val add_buffer : t -> t -> unit 12 | val add_channel : t -> in_channel -> int -> unit 13 | val output_buffer : out_channel -> t -> unit 14 | -------------------------------------------------------------------------------- /interfaces/3.07/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/3.07/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/3.07/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/3.07/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val string : string -> t 3 | val substring : string -> int -> int -> t 4 | external channel : in_channel -> int -> t = "md5_chan" 5 | val file : string -> t 6 | val output : out_channel -> t -> unit 7 | val input : in_channel -> t 8 | val to_hex : t -> string 9 | -------------------------------------------------------------------------------- /interfaces/3.07/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val concat : string -> string -> string 4 | val is_relative : string -> bool 5 | val is_implicit : string -> bool 6 | val check_suffix : string -> string -> bool 7 | val chop_suffix : string -> string -> string 8 | val chop_extension : string -> string 9 | val basename : string -> string 10 | val dirname : string -> string 11 | val temp_file : string -> string -> string 12 | val open_temp_file : 13 | ?mode:open_flag list -> string -> string -> (string * out_channel) 14 | val quote : string -> string 15 | -------------------------------------------------------------------------------- /interfaces/3.07/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/3.07/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | val force : 'a t -> 'a 4 | val force_val : 'a t -> 'a 5 | val lazy_from_fun : (unit -> 'a) -> 'a t 6 | val lazy_from_val : 'a -> 'a t 7 | val lazy_is_val : 'a t -> bool 8 | -------------------------------------------------------------------------------- /interfaces/3.07/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 5 | external to_string : 6 | 'a -> extern_flags list -> string = "output_value_to_string" 7 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 8 | val from_channel : in_channel -> 'a 9 | val from_string : string -> int -> 'a 10 | val header_size : int 11 | val data_size : string -> int -> int 12 | val total_size : string -> int -> int 13 | -------------------------------------------------------------------------------- /interfaces/3.07/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.label 4 | val public_method_label : string -> CamlinternalOO.label 5 | -------------------------------------------------------------------------------- /interfaces/3.07/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | -------------------------------------------------------------------------------- /interfaces/3.07/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val kprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b 7 | val scan_format : 8 | string -> 9 | int -> 10 | (string -> int -> 'a) -> 11 | ('b -> 'c -> int -> 'a) -> ('d -> int -> 'a) -> (int -> 'a) -> 'a 12 | -------------------------------------------------------------------------------- /interfaces/3.07/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.07/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/3.07/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/3.07/stream.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Failure 3 | exception Error of string 4 | val from : (int -> 'a option) -> 'a t 5 | val of_list : 'a list -> 'a t 6 | val of_string : string -> char t 7 | val of_channel : in_channel -> char t 8 | val iter : ('a -> unit) -> 'a t -> unit 9 | val next : 'a t -> 'a 10 | val empty : 'a t -> unit 11 | val peek : 'a t -> 'a option 12 | val junk : 'a t -> unit 13 | val count : 'a t -> int 14 | val npeek : int -> 'a t -> 'a list 15 | val iapp : 'a t -> 'a t -> 'a t 16 | val icons : 'a -> 'a t -> 'a t 17 | val ising : 'a -> 'a t 18 | val lapp : (unit -> 'a t) -> 'a t -> 'a t 19 | val lcons : (unit -> 'a) -> 'a t -> 'a t 20 | val lsing : (unit -> 'a) -> 'a t 21 | val sempty : 'a t 22 | val slazy : (unit -> 'a t) -> 'a t 23 | val dump : ('a -> unit) -> 'a t -> unit 24 | -------------------------------------------------------------------------------- /interfaces/3.08/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val sub : t -> int -> int -> string 5 | val nth : t -> int -> char 6 | val length : t -> int 7 | val clear : t -> unit 8 | val reset : t -> unit 9 | val add_char : t -> char -> unit 10 | val add_string : t -> string -> unit 11 | val add_substring : t -> string -> int -> int -> unit 12 | val add_substitute : t -> (string -> string) -> string -> unit 13 | val add_buffer : t -> t -> unit 14 | val add_channel : t -> in_channel -> int -> unit 15 | val output_buffer : out_channel -> t -> unit 16 | -------------------------------------------------------------------------------- /interfaces/3.08/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/3.08/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/3.08/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/3.08/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val string : string -> t 3 | val substring : string -> int -> int -> t 4 | external channel : in_channel -> int -> t = "caml_md5_chan" 5 | val file : string -> t 6 | val output : out_channel -> t -> unit 7 | val input : in_channel -> t 8 | val to_hex : t -> string 9 | -------------------------------------------------------------------------------- /interfaces/3.08/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val concat : string -> string -> string 4 | val is_relative : string -> bool 5 | val is_implicit : string -> bool 6 | val check_suffix : string -> string -> bool 7 | val chop_suffix : string -> string -> string 8 | val chop_extension : string -> string 9 | val basename : string -> string 10 | val dirname : string -> string 11 | val temp_file : string -> string -> string 12 | val open_temp_file : 13 | ?mode:open_flag list -> string -> string -> (string * out_channel) 14 | val quote : string -> string 15 | -------------------------------------------------------------------------------- /interfaces/3.08/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/3.08/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | val force : 'a t -> 'a 4 | val force_val : 'a t -> 'a 5 | val lazy_from_fun : (unit -> 'a) -> 'a t 6 | val lazy_from_val : 'a -> 'a t 7 | val lazy_is_val : 'a t -> bool 8 | -------------------------------------------------------------------------------- /interfaces/3.08/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 5 | external to_string : 6 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 7 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 8 | val from_channel : in_channel -> 'a 9 | val from_string : string -> int -> 'a 10 | val header_size : int 11 | val data_size : string -> int -> int 12 | val total_size : string -> int -> int 13 | -------------------------------------------------------------------------------- /interfaces/3.08/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/3.08/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | -------------------------------------------------------------------------------- /interfaces/3.08/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val kprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'b 7 | val scan_format : 8 | string -> 9 | int -> 10 | (string -> int -> 'a) -> 11 | ('b -> 'c -> int -> 'a) -> ('d -> int -> 'a) -> (int -> 'a) -> 'a 12 | -------------------------------------------------------------------------------- /interfaces/3.08/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.08/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/3.08/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/3.08/stream.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Failure 3 | exception Error of string 4 | val from : (int -> 'a option) -> 'a t 5 | val of_list : 'a list -> 'a t 6 | val of_string : string -> char t 7 | val of_channel : in_channel -> char t 8 | val iter : ('a -> unit) -> 'a t -> unit 9 | val next : 'a t -> 'a 10 | val empty : 'a t -> unit 11 | val peek : 'a t -> 'a option 12 | val junk : 'a t -> unit 13 | val count : 'a t -> int 14 | val npeek : int -> 'a t -> 'a list 15 | val iapp : 'a t -> 'a t -> 'a t 16 | val icons : 'a -> 'a t -> 'a t 17 | val ising : 'a -> 'a t 18 | val lapp : (unit -> 'a t) -> 'a t -> 'a t 19 | val lcons : (unit -> 'a) -> 'a t -> 'a t 20 | val lsing : (unit -> 'a) -> 'a t 21 | val sempty : 'a t 22 | val slazy : (unit -> 'a t) -> 'a t 23 | val dump : ('a -> unit) -> 'a t -> unit 24 | -------------------------------------------------------------------------------- /interfaces/3.09/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val sub : t -> int -> int -> string 5 | val nth : t -> int -> char 6 | val length : t -> int 7 | val clear : t -> unit 8 | val reset : t -> unit 9 | val add_char : t -> char -> unit 10 | val add_string : t -> string -> unit 11 | val add_substring : t -> string -> int -> int -> unit 12 | val add_substitute : t -> (string -> string) -> string -> unit 13 | val add_buffer : t -> t -> unit 14 | val add_channel : t -> in_channel -> int -> unit 15 | val output_buffer : out_channel -> t -> unit 16 | -------------------------------------------------------------------------------- /interfaces/3.09/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/3.09/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/3.09/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/3.09/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val string : string -> t 3 | val substring : string -> int -> int -> t 4 | external channel : in_channel -> int -> t = "caml_md5_chan" 5 | val file : string -> t 6 | val output : out_channel -> t -> unit 7 | val input : in_channel -> t 8 | val to_hex : t -> string 9 | -------------------------------------------------------------------------------- /interfaces/3.09/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val concat : string -> string -> string 4 | val is_relative : string -> bool 5 | val is_implicit : string -> bool 6 | val check_suffix : string -> string -> bool 7 | val chop_suffix : string -> string -> string 8 | val chop_extension : string -> string 9 | val basename : string -> string 10 | val dirname : string -> string 11 | val temp_file : string -> string -> string 12 | val open_temp_file : 13 | ?mode:open_flag list -> string -> string -> (string * out_channel) 14 | val temp_dir_name : string 15 | val quote : string -> string 16 | -------------------------------------------------------------------------------- /interfaces/3.09/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/3.09/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | val force : 'a t -> 'a 4 | val force_val : 'a t -> 'a 5 | val lazy_from_fun : (unit -> 'a) -> 'a t 6 | val lazy_from_val : 'a -> 'a t 7 | val lazy_is_val : 'a t -> bool 8 | -------------------------------------------------------------------------------- /interfaces/3.09/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 5 | external to_string : 6 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 7 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 8 | val from_channel : in_channel -> 'a 9 | val from_string : string -> int -> 'a 10 | val header_size : int 11 | val data_size : string -> int -> int 12 | val total_size : string -> int -> int 13 | -------------------------------------------------------------------------------- /interfaces/3.09/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/3.09/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | -------------------------------------------------------------------------------- /interfaces/3.09/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.09/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/3.09/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/3.09/stream.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Failure 3 | exception Error of string 4 | val from : (int -> 'a option) -> 'a t 5 | val of_list : 'a list -> 'a t 6 | val of_string : string -> char t 7 | val of_channel : in_channel -> char t 8 | val iter : ('a -> unit) -> 'a t -> unit 9 | val next : 'a t -> 'a 10 | val empty : 'a t -> unit 11 | val peek : 'a t -> 'a option 12 | val junk : 'a t -> unit 13 | val count : 'a t -> int 14 | val npeek : int -> 'a t -> 'a list 15 | val iapp : 'a t -> 'a t -> 'a t 16 | val icons : 'a -> 'a t -> 'a t 17 | val ising : 'a -> 'a t 18 | val lapp : (unit -> 'a t) -> 'a t -> 'a t 19 | val lcons : (unit -> 'a) -> 'a t -> 'a t 20 | val lsing : (unit -> 'a) -> 'a t 21 | val sempty : 'a t 22 | val slazy : (unit -> 'a t) -> 'a t 23 | val dump : ('a -> unit) -> 'a t -> unit 24 | -------------------------------------------------------------------------------- /interfaces/3.10/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val sub : t -> int -> int -> string 5 | val nth : t -> int -> char 6 | val length : t -> int 7 | val clear : t -> unit 8 | val reset : t -> unit 9 | val add_char : t -> char -> unit 10 | val add_string : t -> string -> unit 11 | val add_substring : t -> string -> int -> int -> unit 12 | val add_substitute : t -> (string -> string) -> string -> unit 13 | val add_buffer : t -> t -> unit 14 | val add_channel : t -> in_channel -> int -> unit 15 | val output_buffer : out_channel -> t -> unit 16 | -------------------------------------------------------------------------------- /interfaces/3.10/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/3.10/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/3.10/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/3.10/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val string : string -> t 3 | val substring : string -> int -> int -> t 4 | external channel : in_channel -> int -> t = "caml_md5_chan" 5 | val file : string -> t 6 | val output : out_channel -> t -> unit 7 | val input : in_channel -> t 8 | val to_hex : t -> string 9 | -------------------------------------------------------------------------------- /interfaces/3.10/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val concat : string -> string -> string 4 | val is_relative : string -> bool 5 | val is_implicit : string -> bool 6 | val check_suffix : string -> string -> bool 7 | val chop_suffix : string -> string -> string 8 | val chop_extension : string -> string 9 | val basename : string -> string 10 | val dirname : string -> string 11 | val temp_file : string -> string -> string 12 | val open_temp_file : 13 | ?mode:open_flag list -> string -> string -> (string * out_channel) 14 | val temp_dir_name : string 15 | val quote : string -> string 16 | -------------------------------------------------------------------------------- /interfaces/3.10/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/3.10/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | val force : 'a t -> 'a 4 | val force_val : 'a t -> 'a 5 | val lazy_from_fun : (unit -> 'a) -> 'a t 6 | val lazy_from_val : 'a -> 'a t 7 | val lazy_is_val : 'a t -> bool 8 | -------------------------------------------------------------------------------- /interfaces/3.10/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 5 | external to_string : 6 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 7 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 8 | val from_channel : in_channel -> 'a 9 | val from_string : string -> int -> 'a 10 | val header_size : int 11 | val data_size : string -> int -> int 12 | val total_size : string -> int -> int 13 | -------------------------------------------------------------------------------- /interfaces/3.10/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/3.10/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | -------------------------------------------------------------------------------- /interfaces/3.10/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.10/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/3.10/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/3.10/stream.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Failure 3 | exception Error of string 4 | val from : (int -> 'a option) -> 'a t 5 | val of_list : 'a list -> 'a t 6 | val of_string : string -> char t 7 | val of_channel : in_channel -> char t 8 | val iter : ('a -> unit) -> 'a t -> unit 9 | val next : 'a t -> 'a 10 | val empty : 'a t -> unit 11 | val peek : 'a t -> 'a option 12 | val junk : 'a t -> unit 13 | val count : 'a t -> int 14 | val npeek : int -> 'a t -> 'a list 15 | val iapp : 'a t -> 'a t -> 'a t 16 | val icons : 'a -> 'a t -> 'a t 17 | val ising : 'a -> 'a t 18 | val lapp : (unit -> 'a t) -> 'a t -> 'a t 19 | val lcons : (unit -> 'a) -> 'a t -> 'a t 20 | val lsing : (unit -> 'a) -> 'a t 21 | val sempty : 'a t 22 | val slazy : (unit -> 'a t) -> 'a t 23 | val dump : ('a -> unit) -> 'a t -> unit 24 | -------------------------------------------------------------------------------- /interfaces/3.11/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val sub : t -> int -> int -> string 5 | val blit : t -> int -> string -> int -> int -> unit 6 | val nth : t -> int -> char 7 | val length : t -> int 8 | val clear : t -> unit 9 | val reset : t -> unit 10 | val add_char : t -> char -> unit 11 | val add_string : t -> string -> unit 12 | val add_substring : t -> string -> int -> int -> unit 13 | val add_substitute : t -> (string -> string) -> string -> unit 14 | val add_buffer : t -> t -> unit 15 | val add_channel : t -> in_channel -> int -> unit 16 | val output_buffer : out_channel -> t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.11/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/3.11/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/3.11/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/3.11/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val string : string -> t 3 | val substring : string -> int -> int -> t 4 | external channel : in_channel -> int -> t = "caml_md5_chan" 5 | val file : string -> t 6 | val output : out_channel -> t -> unit 7 | val input : in_channel -> t 8 | val to_hex : t -> string 9 | -------------------------------------------------------------------------------- /interfaces/3.11/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val dir_sep : string 4 | val concat : string -> string -> string 5 | val is_relative : string -> bool 6 | val is_implicit : string -> bool 7 | val check_suffix : string -> string -> bool 8 | val chop_suffix : string -> string -> string 9 | val chop_extension : string -> string 10 | val basename : string -> string 11 | val dirname : string -> string 12 | val temp_file : ?temp_dir:string -> string -> string -> string 13 | val open_temp_file : 14 | ?mode:open_flag list -> 15 | ?temp_dir:string -> string -> string -> (string * out_channel) 16 | val temp_dir_name : string 17 | val quote : string -> string 18 | -------------------------------------------------------------------------------- /interfaces/3.11/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/3.11/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val lazy_from_fun : (unit -> 'a) -> 'a t 6 | val lazy_from_val : 'a -> 'a t 7 | val lazy_is_val : 'a t -> bool 8 | -------------------------------------------------------------------------------- /interfaces/3.11/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 5 | external to_string : 6 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 7 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 8 | val from_channel : in_channel -> 'a 9 | val from_string : string -> int -> 'a 10 | val header_size : int 11 | val data_size : string -> int -> int 12 | val total_size : string -> int -> int 13 | -------------------------------------------------------------------------------- /interfaces/3.11/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/3.11/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | val print_backtrace : out_channel -> unit 5 | val get_backtrace : unit -> string 6 | val record_backtrace : bool -> unit 7 | val backtrace_status : unit -> bool 8 | val register_printer : (exn -> string option) -> unit 9 | -------------------------------------------------------------------------------- /interfaces/3.11/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.11/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/3.11/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/3.11/stream.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Failure 3 | exception Error of string 4 | val from : (int -> 'a option) -> 'a t 5 | val of_list : 'a list -> 'a t 6 | val of_string : string -> char t 7 | val of_channel : in_channel -> char t 8 | val iter : ('a -> unit) -> 'a t -> unit 9 | val next : 'a t -> 'a 10 | val empty : 'a t -> unit 11 | val peek : 'a t -> 'a option 12 | val junk : 'a t -> unit 13 | val count : 'a t -> int 14 | val npeek : int -> 'a t -> 'a list 15 | val iapp : 'a t -> 'a t -> 'a t 16 | val icons : 'a -> 'a t -> 'a t 17 | val ising : 'a -> 'a t 18 | val lapp : (unit -> 'a t) -> 'a t -> 'a t 19 | val lcons : (unit -> 'a) -> 'a t -> 'a t 20 | val lsing : (unit -> 'a) -> 'a t 21 | val sempty : 'a t 22 | val slazy : (unit -> 'a t) -> 'a t 23 | val dump : ('a -> unit) -> 'a t -> unit 24 | -------------------------------------------------------------------------------- /interfaces/3.12/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val sub : t -> int -> int -> string 5 | val blit : t -> int -> string -> int -> int -> unit 6 | val nth : t -> int -> char 7 | val length : t -> int 8 | val clear : t -> unit 9 | val reset : t -> unit 10 | val add_char : t -> char -> unit 11 | val add_string : t -> string -> unit 12 | val add_substring : t -> string -> int -> int -> unit 13 | val add_substitute : t -> (string -> string) -> string -> unit 14 | val add_buffer : t -> t -> unit 15 | val add_channel : t -> in_channel -> int -> unit 16 | val output_buffer : out_channel -> t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.12/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/3.12/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/3.12/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/3.12/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val string : string -> t 3 | val substring : string -> int -> int -> t 4 | external channel : in_channel -> int -> t = "caml_md5_chan" 5 | val file : string -> t 6 | val output : out_channel -> t -> unit 7 | val input : in_channel -> t 8 | val to_hex : t -> string 9 | -------------------------------------------------------------------------------- /interfaces/3.12/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val dir_sep : string 4 | val concat : string -> string -> string 5 | val is_relative : string -> bool 6 | val is_implicit : string -> bool 7 | val check_suffix : string -> string -> bool 8 | val chop_suffix : string -> string -> string 9 | val chop_extension : string -> string 10 | val basename : string -> string 11 | val dirname : string -> string 12 | val temp_file : ?temp_dir:string -> string -> string -> string 13 | val open_temp_file : 14 | ?mode:open_flag list -> 15 | ?temp_dir:string -> string -> string -> (string * out_channel) 16 | val temp_dir_name : string 17 | val quote : string -> string 18 | -------------------------------------------------------------------------------- /interfaces/3.12/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/3.12/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val lazy_from_fun : (unit -> 'a) -> 'a t 6 | val lazy_from_val : 'a -> 'a t 7 | val lazy_is_val : 'a t -> bool 8 | -------------------------------------------------------------------------------- /interfaces/3.12/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 5 | external to_string : 6 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 7 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 8 | val from_channel : in_channel -> 'a 9 | val from_string : string -> int -> 'a 10 | val header_size : int 11 | val data_size : string -> int -> int 12 | val total_size : string -> int -> int 13 | -------------------------------------------------------------------------------- /interfaces/3.12/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/3.12/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | val print_backtrace : out_channel -> unit 5 | val get_backtrace : unit -> string 6 | val record_backtrace : bool -> unit 7 | val backtrace_status : unit -> bool 8 | val register_printer : (exn -> string option) -> unit 9 | -------------------------------------------------------------------------------- /interfaces/3.12/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/3.12/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/3.12/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/3.12/stream.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Failure 3 | exception Error of string 4 | val from : (int -> 'a option) -> 'a t 5 | val of_list : 'a list -> 'a t 6 | val of_string : string -> char t 7 | val of_channel : in_channel -> char t 8 | val iter : ('a -> unit) -> 'a t -> unit 9 | val next : 'a t -> 'a 10 | val empty : 'a t -> unit 11 | val peek : 'a t -> 'a option 12 | val junk : 'a t -> unit 13 | val count : 'a t -> int 14 | val npeek : int -> 'a t -> 'a list 15 | val iapp : 'a t -> 'a t -> 'a t 16 | val icons : 'a -> 'a t -> 'a t 17 | val ising : 'a -> 'a t 18 | val lapp : (unit -> 'a t) -> 'a t -> 'a t 19 | val lcons : (unit -> 'a) -> 'a t -> 'a t 20 | val lsing : (unit -> 'a) -> 'a t 21 | val sempty : 'a t 22 | val slazy : (unit -> 'a t) -> 'a t 23 | val dump : ('a -> unit) -> 'a t -> unit 24 | -------------------------------------------------------------------------------- /interfaces/4.00/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val sub : t -> int -> int -> string 5 | val blit : t -> int -> string -> int -> int -> unit 6 | val nth : t -> int -> char 7 | val length : t -> int 8 | val clear : t -> unit 9 | val reset : t -> unit 10 | val add_char : t -> char -> unit 11 | val add_string : t -> string -> unit 12 | val add_substring : t -> string -> int -> int -> unit 13 | val add_substitute : t -> (string -> string) -> string -> unit 14 | val add_buffer : t -> t -> unit 15 | val add_channel : t -> in_channel -> int -> unit 16 | val output_buffer : out_channel -> t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.00/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.00/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/4.00/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.00/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val string : string -> t 4 | val substring : string -> int -> int -> t 5 | external channel : in_channel -> int -> t = "caml_md5_chan" 6 | val file : string -> t 7 | val output : out_channel -> t -> unit 8 | val input : in_channel -> t 9 | val to_hex : t -> string 10 | val from_hex : string -> t 11 | -------------------------------------------------------------------------------- /interfaces/4.00/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val dir_sep : string 4 | val concat : string -> string -> string 5 | val is_relative : string -> bool 6 | val is_implicit : string -> bool 7 | val check_suffix : string -> string -> bool 8 | val chop_suffix : string -> string -> string 9 | val chop_extension : string -> string 10 | val basename : string -> string 11 | val dirname : string -> string 12 | val temp_file : ?temp_dir:string -> string -> string -> string 13 | val open_temp_file : 14 | ?mode:open_flag list -> 15 | ?temp_dir:string -> string -> string -> (string * out_channel) 16 | val get_temp_dir_name : unit -> string 17 | val set_temp_dir_name : string -> unit 18 | val temp_dir_name : string 19 | val quote : string -> string 20 | -------------------------------------------------------------------------------- /interfaces/4.00/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.00/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t 9 | val lazy_from_val : 'a -> 'a t 10 | val lazy_is_val : 'a t -> bool 11 | -------------------------------------------------------------------------------- /interfaces/4.00/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 5 | external to_string : 6 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 7 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 8 | val from_channel : in_channel -> 'a 9 | val from_string : string -> int -> 'a 10 | val header_size : int 11 | val data_size : string -> int -> int 12 | val total_size : string -> int -> int 13 | -------------------------------------------------------------------------------- /interfaces/4.00/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.00/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | val print_backtrace : out_channel -> unit 5 | val get_backtrace : unit -> string 6 | val record_backtrace : bool -> unit 7 | val backtrace_status : unit -> bool 8 | val register_printer : (exn -> string option) -> unit 9 | -------------------------------------------------------------------------------- /interfaces/4.00/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.00/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/4.00/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/4.00/stream.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Failure 3 | exception Error of string 4 | val from : (int -> 'a option) -> 'a t 5 | val of_list : 'a list -> 'a t 6 | val of_string : string -> char t 7 | val of_channel : in_channel -> char t 8 | val iter : ('a -> unit) -> 'a t -> unit 9 | val next : 'a t -> 'a 10 | val empty : 'a t -> unit 11 | val peek : 'a t -> 'a option 12 | val junk : 'a t -> unit 13 | val count : 'a t -> int 14 | val npeek : int -> 'a t -> 'a list 15 | val iapp : 'a t -> 'a t -> 'a t 16 | val icons : 'a -> 'a t -> 'a t 17 | val ising : 'a -> 'a t 18 | val lapp : (unit -> 'a t) -> 'a t -> 'a t 19 | val lcons : (unit -> 'a) -> 'a t -> 'a t 20 | val lsing : (unit -> 'a) -> 'a t 21 | val sempty : 'a t 22 | val slazy : (unit -> 'a t) -> 'a t 23 | val dump : ('a -> unit) -> 'a t -> unit 24 | -------------------------------------------------------------------------------- /interfaces/4.01/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val sub : t -> int -> int -> string 5 | val blit : t -> int -> string -> int -> int -> unit 6 | val nth : t -> int -> char 7 | val length : t -> int 8 | val clear : t -> unit 9 | val reset : t -> unit 10 | val add_char : t -> char -> unit 11 | val add_string : t -> string -> unit 12 | val add_substring : t -> string -> int -> int -> unit 13 | val add_substitute : t -> (string -> string) -> string -> unit 14 | val add_buffer : t -> t -> unit 15 | val add_channel : t -> in_channel -> int -> unit 16 | val output_buffer : out_channel -> t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.01/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.01/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/4.01/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.01/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val string : string -> t 4 | val substring : string -> int -> int -> t 5 | external channel : in_channel -> int -> t = "caml_md5_chan" 6 | val file : string -> t 7 | val output : out_channel -> t -> unit 8 | val input : in_channel -> t 9 | val to_hex : t -> string 10 | val from_hex : string -> t 11 | -------------------------------------------------------------------------------- /interfaces/4.01/filename.mli: -------------------------------------------------------------------------------- 1 | val current_dir_name : string 2 | val parent_dir_name : string 3 | val dir_sep : string 4 | val concat : string -> string -> string 5 | val is_relative : string -> bool 6 | val is_implicit : string -> bool 7 | val check_suffix : string -> string -> bool 8 | val chop_suffix : string -> string -> string 9 | val chop_extension : string -> string 10 | val basename : string -> string 11 | val dirname : string -> string 12 | val temp_file : ?temp_dir:string -> string -> string -> string 13 | val open_temp_file : 14 | ?mode:open_flag list -> 15 | ?temp_dir:string -> string -> string -> (string * out_channel) 16 | val get_temp_dir_name : unit -> string 17 | val set_temp_dir_name : string -> unit 18 | val temp_dir_name : string 19 | val quote : string -> string 20 | -------------------------------------------------------------------------------- /interfaces/4.01/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.01/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t 9 | val lazy_from_val : 'a -> 'a t 10 | val lazy_is_val : 'a t -> bool 11 | -------------------------------------------------------------------------------- /interfaces/4.01/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_string : 7 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 8 | val to_buffer : string -> int -> int -> 'a -> extern_flags list -> int 9 | val from_channel : in_channel -> 'a 10 | val from_string : string -> int -> 'a 11 | val header_size : int 12 | val data_size : string -> int -> int 13 | val total_size : string -> int -> int 14 | -------------------------------------------------------------------------------- /interfaces/4.01/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.01/printexc.mli: -------------------------------------------------------------------------------- 1 | val to_string : exn -> string 2 | val print : ('a -> 'b) -> 'a -> 'b 3 | val catch : ('a -> 'b) -> 'a -> 'b 4 | val print_backtrace : out_channel -> unit 5 | val get_backtrace : unit -> string 6 | val record_backtrace : bool -> unit 7 | val backtrace_status : unit -> bool 8 | val register_printer : (exn -> string option) -> unit 9 | type raw_backtrace 10 | val get_raw_backtrace : unit -> raw_backtrace 11 | val print_raw_backtrace : out_channel -> raw_backtrace -> unit 12 | val raw_backtrace_to_string : raw_backtrace -> string 13 | val get_callstack : int -> raw_backtrace 14 | -------------------------------------------------------------------------------- /interfaces/4.01/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.01/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list 2 | val array : ('a -> 'a -> bool) -> 'a array -> unit 3 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list 4 | -------------------------------------------------------------------------------- /interfaces/4.01/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/4.02/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val to_bytes : t -> bytes 5 | val sub : t -> int -> int -> string 6 | val blit : t -> int -> bytes -> int -> int -> unit 7 | val nth : t -> int -> char 8 | val length : t -> int 9 | val clear : t -> unit 10 | val reset : t -> unit 11 | val add_char : t -> char -> unit 12 | val add_string : t -> string -> unit 13 | val add_bytes : t -> bytes -> unit 14 | val add_substring : t -> string -> int -> int -> unit 15 | val add_subbytes : t -> bytes -> int -> int -> unit 16 | val add_substitute : t -> (string -> string) -> string -> unit 17 | val add_buffer : t -> t -> unit 18 | val add_channel : t -> in_channel -> int -> unit 19 | val output_buffer : out_channel -> t -> unit 20 | -------------------------------------------------------------------------------- /interfaces/4.02/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.02/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | external unsafe_chr : int -> char = "%identity" 9 | -------------------------------------------------------------------------------- /interfaces/4.02/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.02/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val string : string -> t 4 | val bytes : bytes -> t 5 | val substring : string -> int -> int -> t 6 | val subbytes : bytes -> int -> int -> t 7 | external channel : in_channel -> int -> t = "caml_md5_chan" 8 | val file : string -> t 9 | val output : out_channel -> t -> unit 10 | val input : in_channel -> t 11 | val to_hex : t -> string 12 | val from_hex : string -> t 13 | -------------------------------------------------------------------------------- /interfaces/4.02/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.02/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t[@@ocaml.deprecated 9 | "Use Lazy.from_fun instead."] 10 | val lazy_from_val : 'a -> 'a t[@@ocaml.deprecated 11 | "Use Lazy.from_val instead."] 12 | val lazy_is_val : 'a t -> bool[@@ocaml.deprecated "Use Lazy.is_val instead."] 13 | -------------------------------------------------------------------------------- /interfaces/4.02/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_string" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.02/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.02/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.02/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list[@@ocaml.deprecated 2 | "Use List.sort instead."] 3 | val array : ('a -> 'a -> bool) -> 'a array -> unit[@@ocaml.deprecated 4 | "Use Array.sort instead."] 5 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list[@@ocaml.deprecated 6 | "Use List.merge instead."] 7 | -------------------------------------------------------------------------------- /interfaces/4.02/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | -------------------------------------------------------------------------------- /interfaces/4.03/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val to_bytes : t -> bytes 5 | val sub : t -> int -> int -> string 6 | val blit : t -> int -> bytes -> int -> int -> unit 7 | val nth : t -> int -> char 8 | val length : t -> int 9 | val clear : t -> unit 10 | val reset : t -> unit 11 | val add_char : t -> char -> unit 12 | val add_string : t -> string -> unit 13 | val add_bytes : t -> bytes -> unit 14 | val add_substring : t -> string -> int -> int -> unit 15 | val add_subbytes : t -> bytes -> int -> int -> unit 16 | val add_substitute : t -> (string -> string) -> string -> unit 17 | val add_buffer : t -> t -> unit 18 | val add_channel : t -> in_channel -> int -> unit 19 | val output_buffer : out_channel -> t -> unit 20 | -------------------------------------------------------------------------------- /interfaces/4.03/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.03/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char[@@ocaml.deprecated 5 | "Use Char.lowercase_ascii instead."] 6 | val uppercase : char -> char[@@ocaml.deprecated 7 | "Use Char.uppercase_ascii instead."] 8 | val lowercase_ascii : char -> char 9 | val uppercase_ascii : char -> char 10 | type t = char 11 | val compare : t -> t -> int 12 | val equal : t -> t -> bool 13 | external unsafe_chr : int -> char = "%identity" 14 | -------------------------------------------------------------------------------- /interfaces/4.03/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.03/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.03/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.03/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t[@@ocaml.deprecated 9 | "Use Lazy.from_fun instead."] 10 | val lazy_from_val : 'a -> 'a t[@@ocaml.deprecated 11 | "Use Lazy.from_val instead."] 12 | val lazy_is_val : 'a t -> bool[@@ocaml.deprecated "Use Lazy.is_val instead."] 13 | -------------------------------------------------------------------------------- /interfaces/4.03/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_string" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.03/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.03/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.03/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.03/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list[@@ocaml.deprecated 2 | "Use List.sort instead."] 3 | val array : ('a -> 'a -> bool) -> 'a array -> unit[@@ocaml.deprecated 4 | "Use Array.sort instead."] 5 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list[@@ocaml.deprecated 6 | "Use List.merge instead."] 7 | -------------------------------------------------------------------------------- /interfaces/4.03/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 13 | -------------------------------------------------------------------------------- /interfaces/4.03/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val succ : t -> t 5 | val pred : t -> t 6 | val is_valid : int -> bool 7 | val of_int : int -> t 8 | val unsafe_of_int : int -> t 9 | val to_int : t -> int 10 | val is_char : t -> bool 11 | val of_char : char -> t 12 | val to_char : t -> char 13 | val unsafe_to_char : t -> char 14 | val equal : t -> t -> bool 15 | val compare : t -> t -> int 16 | val hash : t -> int 17 | val dump : Format.formatter -> t -> unit 18 | -------------------------------------------------------------------------------- /interfaces/4.04/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val to_bytes : t -> bytes 5 | val sub : t -> int -> int -> string 6 | val blit : t -> int -> bytes -> int -> int -> unit 7 | val nth : t -> int -> char 8 | val length : t -> int 9 | val clear : t -> unit 10 | val reset : t -> unit 11 | val add_char : t -> char -> unit 12 | val add_string : t -> string -> unit 13 | val add_bytes : t -> bytes -> unit 14 | val add_substring : t -> string -> int -> int -> unit 15 | val add_subbytes : t -> bytes -> int -> int -> unit 16 | val add_substitute : t -> (string -> string) -> string -> unit 17 | val add_buffer : t -> t -> unit 18 | val add_channel : t -> in_channel -> int -> unit 19 | val output_buffer : out_channel -> t -> unit 20 | -------------------------------------------------------------------------------- /interfaces/4.04/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.04/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char[@@ocaml.deprecated 5 | "Use Char.lowercase_ascii instead."] 6 | val uppercase : char -> char[@@ocaml.deprecated 7 | "Use Char.uppercase_ascii instead."] 8 | val lowercase_ascii : char -> char 9 | val uppercase_ascii : char -> char 10 | type t = char 11 | val compare : t -> t -> int 12 | val equal : t -> t -> bool 13 | external unsafe_chr : int -> char = "%identity" 14 | -------------------------------------------------------------------------------- /interfaces/4.04/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.04/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.04/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.04/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t[@@ocaml.deprecated 9 | "Use Lazy.from_fun instead."] 10 | val lazy_from_val : 'a -> 'a t[@@ocaml.deprecated 11 | "Use Lazy.from_val instead."] 12 | val lazy_is_val : 'a t -> bool[@@ocaml.deprecated "Use Lazy.is_val instead."] 13 | -------------------------------------------------------------------------------- /interfaces/4.04/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_string" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.04/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.04/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.04/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.04/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list[@@ocaml.deprecated 2 | "Use List.sort instead."] 3 | val array : ('a -> 'a -> bool) -> 'a array -> unit[@@ocaml.deprecated 4 | "Use Array.sort instead."] 5 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list[@@ocaml.deprecated 6 | "Use List.merge instead."] 7 | -------------------------------------------------------------------------------- /interfaces/4.04/spacetime.mli: -------------------------------------------------------------------------------- 1 | module Series : 2 | sig 3 | type t 4 | val create : path:string -> t 5 | val save_event : ?time:float -> t -> event_name:string -> unit 6 | val save_and_close : ?time:float -> t -> unit 7 | end 8 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 9 | val save_event_for_automatic_snapshots : event_name:string -> unit 10 | -------------------------------------------------------------------------------- /interfaces/4.04/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 13 | -------------------------------------------------------------------------------- /interfaces/4.04/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val succ : t -> t 5 | val pred : t -> t 6 | val is_valid : int -> bool 7 | val of_int : int -> t 8 | val unsafe_of_int : int -> t 9 | val to_int : t -> int 10 | val is_char : t -> bool 11 | val of_char : char -> t 12 | val to_char : t -> char 13 | val unsafe_to_char : t -> char 14 | val equal : t -> t -> bool 15 | val compare : t -> t -> int 16 | val hash : t -> int 17 | val dump : Format.formatter -> t -> unit 18 | -------------------------------------------------------------------------------- /interfaces/4.05/buffer.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val create : int -> t 3 | val contents : t -> string 4 | val to_bytes : t -> bytes 5 | val sub : t -> int -> int -> string 6 | val blit : t -> int -> bytes -> int -> int -> unit 7 | val nth : t -> int -> char 8 | val length : t -> int 9 | val clear : t -> unit 10 | val reset : t -> unit 11 | val add_char : t -> char -> unit 12 | val add_string : t -> string -> unit 13 | val add_bytes : t -> bytes -> unit 14 | val add_substring : t -> string -> int -> int -> unit 15 | val add_subbytes : t -> bytes -> int -> int -> unit 16 | val add_substitute : t -> (string -> string) -> string -> unit 17 | val add_buffer : t -> t -> unit 18 | val add_channel : t -> in_channel -> int -> unit 19 | val output_buffer : out_channel -> t -> unit 20 | val truncate : t -> int -> unit 21 | -------------------------------------------------------------------------------- /interfaces/4.05/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.05/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char[@@ocaml.deprecated 5 | "Use Char.lowercase_ascii instead."] 6 | val uppercase : char -> char[@@ocaml.deprecated 7 | "Use Char.uppercase_ascii instead."] 8 | val lowercase_ascii : char -> char 9 | val uppercase_ascii : char -> char 10 | type t = char 11 | val compare : t -> t -> int 12 | val equal : t -> t -> bool 13 | external unsafe_chr : int -> char = "%identity" 14 | -------------------------------------------------------------------------------- /interfaces/4.05/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.05/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.05/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.05/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t[@@ocaml.deprecated 9 | "Use Lazy.from_fun instead."] 10 | val lazy_from_val : 'a -> 'a t[@@ocaml.deprecated 11 | "Use Lazy.from_val instead."] 12 | val lazy_is_val : 'a t -> bool[@@ocaml.deprecated "Use Lazy.is_val instead."] 13 | -------------------------------------------------------------------------------- /interfaces/4.05/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_string" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.05/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.05/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.05/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.05/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list[@@ocaml.deprecated 2 | "Use List.sort instead."] 3 | val array : ('a -> 'a -> bool) -> 'a array -> unit[@@ocaml.deprecated 4 | "Use Array.sort instead."] 5 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list[@@ocaml.deprecated 6 | "Use List.merge instead."] 7 | -------------------------------------------------------------------------------- /interfaces/4.05/spacetime.mli: -------------------------------------------------------------------------------- 1 | val enabled : bool 2 | module Series : 3 | sig 4 | type t 5 | val create : path:string -> t 6 | val save_event : ?time:float -> t -> event_name:string -> unit 7 | val save_and_close : ?time:float -> t -> unit 8 | end 9 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 10 | val save_event_for_automatic_snapshots : event_name:string -> unit 11 | -------------------------------------------------------------------------------- /interfaces/4.05/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 13 | -------------------------------------------------------------------------------- /interfaces/4.05/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val succ : t -> t 5 | val pred : t -> t 6 | val is_valid : int -> bool 7 | val of_int : int -> t 8 | val unsafe_of_int : int -> t 9 | val to_int : t -> int 10 | val is_char : t -> bool 11 | val of_char : char -> t 12 | val to_char : t -> char 13 | val unsafe_to_char : t -> char 14 | val equal : t -> t -> bool 15 | val compare : t -> t -> int 16 | val hash : t -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.06/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.06/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char[@@ocaml.deprecated 5 | "Use Char.lowercase_ascii instead."] 6 | val uppercase : char -> char[@@ocaml.deprecated 7 | "Use Char.uppercase_ascii instead."] 8 | val lowercase_ascii : char -> char 9 | val uppercase_ascii : char -> char 10 | type t = char 11 | val compare : t -> t -> int 12 | val equal : t -> t -> bool 13 | external unsafe_chr : int -> char = "%identity" 14 | -------------------------------------------------------------------------------- /interfaces/4.06/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.06/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.06/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.06/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t[@@ocaml.deprecated 9 | "Use Lazy.from_fun instead."] 10 | val lazy_from_val : 'a -> 'a t[@@ocaml.deprecated 11 | "Use Lazy.from_val instead."] 12 | val lazy_is_val : 'a t -> bool[@@ocaml.deprecated "Use Lazy.is_val instead."] 13 | -------------------------------------------------------------------------------- /interfaces/4.06/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_string" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.06/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.06/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.06/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | -------------------------------------------------------------------------------- /interfaces/4.06/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list[@@ocaml.deprecated 2 | "Use List.sort instead."] 3 | val array : ('a -> 'a -> bool) -> 'a array -> unit[@@ocaml.deprecated 4 | "Use Array.sort instead."] 5 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list[@@ocaml.deprecated 6 | "Use List.merge instead."] 7 | -------------------------------------------------------------------------------- /interfaces/4.06/spacetime.mli: -------------------------------------------------------------------------------- 1 | val enabled : bool 2 | module Series : 3 | sig 4 | type t 5 | val create : path:string -> t 6 | val save_event : ?time:float -> t -> event_name:string -> unit 7 | val save_and_close : ?time:float -> t -> unit 8 | end 9 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 10 | val save_event_for_automatic_snapshots : event_name:string -> unit 11 | -------------------------------------------------------------------------------- /interfaces/4.06/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 13 | -------------------------------------------------------------------------------- /interfaces/4.06/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.07/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.07/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char[@@ocaml.deprecated 5 | "Use Char.lowercase_ascii instead."] 6 | val uppercase : char -> char[@@ocaml.deprecated 7 | "Use Char.uppercase_ascii instead."] 8 | val lowercase_ascii : char -> char 9 | val uppercase_ascii : char -> char 10 | type t = char 11 | val compare : t -> t -> int 12 | val equal : t -> t -> bool 13 | external unsafe_chr : int -> char = "%identity" 14 | -------------------------------------------------------------------------------- /interfaces/4.07/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.07/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.07/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.07/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a lazy_t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t[@@ocaml.deprecated 9 | "Use Lazy.from_fun instead."] 10 | val lazy_from_val : 'a -> 'a t[@@ocaml.deprecated 11 | "Use Lazy.from_val instead."] 12 | val lazy_is_val : 'a t -> bool[@@ocaml.deprecated "Use Lazy.is_val instead."] 13 | -------------------------------------------------------------------------------- /interfaces/4.07/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.07/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.07/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.07/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val pop : 'a t -> 'a 8 | val peek : 'a t -> 'a 9 | val top : 'a t -> 'a 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 16 | val transfer : 'a t -> 'a t -> unit 17 | val to_seq : 'a t -> 'a Seq.t 18 | val add_seq : 'a t -> 'a Seq.t -> unit 19 | val of_seq : 'a Seq.t -> 'a t 20 | -------------------------------------------------------------------------------- /interfaces/4.07/seq.mli: -------------------------------------------------------------------------------- 1 | type 'a t = unit -> 'a node 2 | and 'a node = 3 | | Nil 4 | | Cons of 'a * 'a t 5 | val empty : 'a t 6 | val return : 'a -> 'a t 7 | val map : ('a -> 'b) -> 'a t -> 'b t 8 | val filter : ('a -> bool) -> 'a t -> 'a t 9 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t 10 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t 11 | val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 12 | val iter : ('a -> unit) -> 'a t -> unit 13 | -------------------------------------------------------------------------------- /interfaces/4.07/sort.mli: -------------------------------------------------------------------------------- 1 | val list : ('a -> 'a -> bool) -> 'a list -> 'a list[@@ocaml.deprecated 2 | "Use List.sort instead."] 3 | val array : ('a -> 'a -> bool) -> 'a array -> unit[@@ocaml.deprecated 4 | "Use Array.sort instead."] 5 | val merge : ('a -> 'a -> bool) -> 'a list -> 'a list -> 'a list[@@ocaml.deprecated 6 | "Use List.merge instead."] 7 | -------------------------------------------------------------------------------- /interfaces/4.07/spacetime.mli: -------------------------------------------------------------------------------- 1 | val enabled : bool 2 | module Series : 3 | sig 4 | type t 5 | val create : path:string -> t 6 | val save_event : ?time:float -> t -> event_name:string -> unit 7 | val save_and_close : ?time:float -> t -> unit 8 | end 9 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 10 | val save_event_for_automatic_snapshots : event_name:string -> unit 11 | -------------------------------------------------------------------------------- /interfaces/4.07/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val top : 'a t -> 'a 7 | val clear : 'a t -> unit 8 | val copy : 'a t -> 'a t 9 | val is_empty : 'a t -> bool 10 | val length : 'a t -> int 11 | val iter : ('a -> unit) -> 'a t -> unit 12 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 13 | val to_seq : 'a t -> 'a Seq.t 14 | val add_seq : 'a t -> 'a Seq.t -> unit 15 | val of_seq : 'a Seq.t -> 'a t 16 | -------------------------------------------------------------------------------- /interfaces/4.07/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.07/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.08/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/4.08/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.08/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | val lowercase_ascii : char -> char 7 | val uppercase_ascii : char -> char 8 | type t = char 9 | val compare : t -> t -> int 10 | val equal : t -> t -> bool 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/4.08/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.08/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.08/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/4.08/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.08/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t 9 | val lazy_from_val : 'a -> 'a t 10 | val lazy_is_val : 'a t -> bool 11 | -------------------------------------------------------------------------------- /interfaces/4.08/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.08/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.08/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.08/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/4.08/seq.mli: -------------------------------------------------------------------------------- 1 | type 'a t = unit -> 'a node 2 | and 'a node = 3 | | Nil 4 | | Cons of 'a * 'a t 5 | val empty : 'a t 6 | val return : 'a -> 'a t 7 | val map : ('a -> 'b) -> 'a t -> 'b t 8 | val filter : ('a -> bool) -> 'a t -> 'a t 9 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t 10 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t 11 | val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 12 | val iter : ('a -> unit) -> 'a t -> unit 13 | -------------------------------------------------------------------------------- /interfaces/4.08/spacetime.mli: -------------------------------------------------------------------------------- 1 | val enabled : bool 2 | module Series : 3 | sig 4 | type t 5 | val create : path:string -> t 6 | val save_event : ?time:float -> t -> event_name:string -> unit 7 | val save_and_close : ?time:float -> t -> unit 8 | end 9 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 10 | val save_event_for_automatic_snapshots : event_name:string -> unit 11 | -------------------------------------------------------------------------------- /interfaces/4.08/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val top : 'a t -> 'a 8 | val top_opt : 'a t -> 'a option 9 | val clear : 'a t -> unit 10 | val copy : 'a t -> 'a t 11 | val is_empty : 'a t -> bool 12 | val length : 'a t -> int 13 | val iter : ('a -> unit) -> 'a t -> unit 14 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 15 | val to_seq : 'a t -> 'a Seq.t 16 | val add_seq : 'a t -> 'a Seq.t -> unit 17 | val of_seq : 'a Seq.t -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.08/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.08/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.08/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/4.09/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/4.09/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.09/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | val lowercase_ascii : char -> char 7 | val uppercase_ascii : char -> char 8 | type t = char 9 | val compare : t -> t -> int 10 | val equal : t -> t -> bool 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/4.09/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.09/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.09/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/4.09/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.09/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t 9 | val lazy_from_val : 'a -> 'a t 10 | val lazy_is_val : 'a t -> bool 11 | -------------------------------------------------------------------------------- /interfaces/4.09/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.09/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.09/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.09/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/4.09/seq.mli: -------------------------------------------------------------------------------- 1 | type 'a t = unit -> 'a node 2 | and 'a node = 3 | | Nil 4 | | Cons of 'a * 'a t 5 | val empty : 'a t 6 | val return : 'a -> 'a t 7 | val map : ('a -> 'b) -> 'a t -> 'b t 8 | val filter : ('a -> bool) -> 'a t -> 'a t 9 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t 10 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t 11 | val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 12 | val iter : ('a -> unit) -> 'a t -> unit 13 | -------------------------------------------------------------------------------- /interfaces/4.09/spacetime.mli: -------------------------------------------------------------------------------- 1 | val enabled : bool 2 | module Series : 3 | sig 4 | type t 5 | val create : path:string -> t 6 | val save_event : ?time:float -> t -> event_name:string -> unit 7 | val save_and_close : ?time:float -> t -> unit 8 | end 9 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 10 | val save_event_for_automatic_snapshots : event_name:string -> unit 11 | -------------------------------------------------------------------------------- /interfaces/4.09/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val top : 'a t -> 'a 8 | val top_opt : 'a t -> 'a option 9 | val clear : 'a t -> unit 10 | val copy : 'a t -> 'a t 11 | val is_empty : 'a t -> bool 12 | val length : 'a t -> int 13 | val iter : ('a -> unit) -> 'a t -> unit 14 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 15 | val to_seq : 'a t -> 'a Seq.t 16 | val add_seq : 'a t -> 'a Seq.t -> unit 17 | val of_seq : 'a Seq.t -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.09/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.09/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.09/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/4.10/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/4.10/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.10/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | val lowercase_ascii : char -> char 7 | val uppercase_ascii : char -> char 8 | type t = char 9 | val compare : t -> t -> int 10 | val equal : t -> t -> bool 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/4.10/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.10/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.10/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/4.10/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.10/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t 9 | val lazy_from_val : 'a -> 'a t 10 | val lazy_is_val : 'a t -> bool 11 | -------------------------------------------------------------------------------- /interfaces/4.10/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.10/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.10/printf.mli: -------------------------------------------------------------------------------- 1 | val fprintf : out_channel -> ('a, out_channel, unit) format -> 'a 2 | val printf : ('a, out_channel, unit) format -> 'a 3 | val eprintf : ('a, out_channel, unit) format -> 'a 4 | val sprintf : ('a, unit, string) format -> 'a 5 | val bprintf : Buffer.t -> ('a, Buffer.t, unit) format -> 'a 6 | val ifprintf : 'b -> ('a, 'b, 'c, unit) format4 -> 'a 7 | val kfprintf : 8 | (out_channel -> 'd) -> 9 | out_channel -> ('a, out_channel, unit, 'd) format4 -> 'a 10 | val ikfprintf : ('b -> 'd) -> 'b -> ('a, 'b, 'c, 'd) format4 -> 'a 11 | val ksprintf : (string -> 'd) -> ('a, unit, string, 'd) format4 -> 'a 12 | val kbprintf : 13 | (Buffer.t -> 'd) -> Buffer.t -> ('a, Buffer.t, unit, 'd) format4 -> 'a 14 | val kprintf : (string -> 'b) -> ('a, unit, string, 'b) format4 -> 'a 15 | -------------------------------------------------------------------------------- /interfaces/4.10/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/4.10/seq.mli: -------------------------------------------------------------------------------- 1 | type 'a t = unit -> 'a node 2 | and 'a node = 3 | | Nil 4 | | Cons of 'a * 'a t 5 | val empty : 'a t 6 | val return : 'a -> 'a t 7 | val map : ('a -> 'b) -> 'a t -> 'b t 8 | val filter : ('a -> bool) -> 'a t -> 'a t 9 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t 10 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t 11 | val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 12 | val iter : ('a -> unit) -> 'a t -> unit 13 | -------------------------------------------------------------------------------- /interfaces/4.10/spacetime.mli: -------------------------------------------------------------------------------- 1 | val enabled : bool 2 | module Series : 3 | sig 4 | type t 5 | val create : path:string -> t 6 | val save_event : ?time:float -> t -> event_name:string -> unit 7 | val save_and_close : ?time:float -> t -> unit 8 | end 9 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 10 | val save_event_for_automatic_snapshots : event_name:string -> unit 11 | -------------------------------------------------------------------------------- /interfaces/4.10/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val top : 'a t -> 'a 8 | val top_opt : 'a t -> 'a option 9 | val clear : 'a t -> unit 10 | val copy : 'a t -> 'a t 11 | val is_empty : 'a t -> bool 12 | val length : 'a t -> int 13 | val iter : ('a -> unit) -> 'a t -> unit 14 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 15 | val to_seq : 'a t -> 'a Seq.t 16 | val add_seq : 'a t -> 'a Seq.t -> unit 17 | val of_seq : 'a Seq.t -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.10/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.10/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.10/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/4.11/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/4.11/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.11/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | val lowercase_ascii : char -> char 7 | val uppercase_ascii : char -> char 8 | type t = char 9 | val compare : t -> t -> int 10 | val equal : t -> t -> bool 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/4.11/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.11/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.11/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/4.11/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.11/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t 9 | val lazy_from_val : 'a -> 'a t 10 | val lazy_is_val : 'a t -> bool 11 | -------------------------------------------------------------------------------- /interfaces/4.11/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.11/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.11/queue.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/4.11/seq.mli: -------------------------------------------------------------------------------- 1 | type 'a t = unit -> 'a node 2 | and 'a node = 3 | | Nil 4 | | Cons of 'a * 'a t 5 | val empty : 'a t 6 | val return : 'a -> 'a t 7 | val cons : 'a -> 'a t -> 'a t 8 | val append : 'a t -> 'a t -> 'a t 9 | val map : ('a -> 'b) -> 'a t -> 'b t 10 | val filter : ('a -> bool) -> 'a t -> 'a t 11 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t 12 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t 13 | val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val unfold : ('b -> ('a * 'b) option) -> 'b -> 'a t 16 | -------------------------------------------------------------------------------- /interfaces/4.11/spacetime.mli: -------------------------------------------------------------------------------- 1 | val enabled : bool 2 | module Series : 3 | sig 4 | type t 5 | val create : path:string -> t 6 | val save_event : ?time:float -> t -> event_name:string -> unit 7 | val save_and_close : ?time:float -> t -> unit 8 | end 9 | module Snapshot : sig val take : ?time:float -> Series.t -> unit end 10 | val save_event_for_automatic_snapshots : event_name:string -> unit 11 | -------------------------------------------------------------------------------- /interfaces/4.11/stack.mli: -------------------------------------------------------------------------------- 1 | type 'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val top : 'a t -> 'a 8 | val top_opt : 'a t -> 'a option 9 | val clear : 'a t -> unit 10 | val copy : 'a t -> 'a t 11 | val is_empty : 'a t -> bool 12 | val length : 'a t -> int 13 | val iter : ('a -> unit) -> 'a t -> unit 14 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 15 | val to_seq : 'a t -> 'a Seq.t 16 | val add_seq : 'a t -> 'a Seq.t -> unit 17 | val of_seq : 'a Seq.t -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.11/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.11/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.11/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/4.12/atomic.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val make : 'a -> 'a t 3 | val get : 'a t -> 'a 4 | val set : 'a t -> 'a -> unit 5 | val exchange : 'a t -> 'a -> 'a 6 | val compare_and_set : 'a t -> 'a -> 'a -> bool 7 | val fetch_and_add : int t -> int -> int 8 | val incr : int t -> unit 9 | val decr : int t -> unit 10 | -------------------------------------------------------------------------------- /interfaces/4.12/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/4.12/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.12/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | val lowercase_ascii : char -> char 7 | val uppercase_ascii : char -> char 8 | type t = char 9 | val compare : t -> t -> int 10 | val equal : t -> t -> bool 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/4.12/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.12/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.12/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/4.12/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.12/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val force_val : 'a t -> 'a 5 | val from_fun : (unit -> 'a) -> 'a t 6 | val from_val : 'a -> 'a t 7 | val is_val : 'a t -> bool 8 | val lazy_from_fun : (unit -> 'a) -> 'a t 9 | val lazy_from_val : 'a -> 'a t 10 | val lazy_is_val : 'a t -> bool 11 | -------------------------------------------------------------------------------- /interfaces/4.12/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.12/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.12/queue.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/4.12/seq.mli: -------------------------------------------------------------------------------- 1 | type 'a t = unit -> 'a node 2 | and 'a node = 3 | | Nil 4 | | Cons of 'a * 'a t 5 | val empty : 'a t 6 | val return : 'a -> 'a t 7 | val cons : 'a -> 'a t -> 'a t 8 | val append : 'a t -> 'a t -> 'a t 9 | val map : ('a -> 'b) -> 'a t -> 'b t 10 | val filter : ('a -> bool) -> 'a t -> 'a t 11 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t 12 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t 13 | val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val unfold : ('b -> ('a * 'b) option) -> 'b -> 'a t 16 | -------------------------------------------------------------------------------- /interfaces/4.12/stack.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val top : 'a t -> 'a 8 | val top_opt : 'a t -> 'a option 9 | val clear : 'a t -> unit 10 | val copy : 'a t -> 'a t 11 | val is_empty : 'a t -> bool 12 | val length : 'a t -> int 13 | val iter : ('a -> unit) -> 'a t -> unit 14 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 15 | val to_seq : 'a t -> 'a Seq.t 16 | val add_seq : 'a t -> 'a Seq.t -> unit 17 | val of_seq : 'a Seq.t -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.12/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.12/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.12/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/4.13/atomic.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val make : 'a -> 'a t 3 | val get : 'a t -> 'a 4 | val set : 'a t -> 'a -> unit 5 | val exchange : 'a t -> 'a -> 'a 6 | val compare_and_set : 'a t -> 'a -> 'a -> bool 7 | val fetch_and_add : int t -> int -> int 8 | val incr : int t -> unit 9 | val decr : int t -> unit 10 | -------------------------------------------------------------------------------- /interfaces/4.13/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/4.13/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.13/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | val lowercase_ascii : char -> char 7 | val uppercase_ascii : char -> char 8 | type t = char 9 | val compare : t -> t -> int 10 | val equal : t -> t -> bool 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/4.13/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.13/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.13/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/4.13/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.13/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val map : ('a -> 'b) -> 'a t -> 'b t 5 | val is_val : 'a t -> bool 6 | val from_val : 'a -> 'a t 7 | val map_val : ('a -> 'b) -> 'a t -> 'b t 8 | val from_fun : (unit -> 'a) -> 'a t 9 | val force_val : 'a t -> 'a 10 | val lazy_from_fun : (unit -> 'a) -> 'a t 11 | val lazy_from_val : 'a -> 'a t 12 | val lazy_is_val : 'a t -> bool 13 | -------------------------------------------------------------------------------- /interfaces/4.13/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.13/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.13/queue.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/4.13/seq.mli: -------------------------------------------------------------------------------- 1 | type 'a t = unit -> 'a node 2 | and 'a node = 3 | | Nil 4 | | Cons of 'a * 'a t 5 | val empty : 'a t 6 | val return : 'a -> 'a t 7 | val cons : 'a -> 'a t -> 'a t 8 | val append : 'a t -> 'a t -> 'a t 9 | val map : ('a -> 'b) -> 'a t -> 'b t 10 | val filter : ('a -> bool) -> 'a t -> 'a t 11 | val filter_map : ('a -> 'b option) -> 'a t -> 'b t 12 | val concat : 'a t t -> 'a t 13 | val flat_map : ('a -> 'b t) -> 'a t -> 'b t 14 | val concat_map : ('a -> 'b t) -> 'a t -> 'b t 15 | val fold_left : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val unfold : ('b -> ('a * 'b) option) -> 'b -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.13/stack.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val top : 'a t -> 'a 8 | val top_opt : 'a t -> 'a option 9 | val clear : 'a t -> unit 10 | val copy : 'a t -> 'a t 11 | val is_empty : 'a t -> bool 12 | val length : 'a t -> int 13 | val iter : ('a -> unit) -> 'a t -> unit 14 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 15 | val to_seq : 'a t -> 'a Seq.t 16 | val add_seq : 'a t -> 'a Seq.t -> unit 17 | val of_seq : 'a Seq.t -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.13/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.13/uchar.mli: -------------------------------------------------------------------------------- 1 | type t 2 | val min : t 3 | val max : t 4 | val bom : t 5 | val rep : t 6 | val succ : t -> t 7 | val pred : t -> t 8 | val is_valid : int -> bool 9 | val of_int : int -> t 10 | val unsafe_of_int : int -> t 11 | val to_int : t -> int 12 | val is_char : t -> bool 13 | val of_char : char -> t 14 | val to_char : t -> char 15 | val unsafe_to_char : t -> char 16 | val equal : t -> t -> bool 17 | val compare : t -> t -> int 18 | val hash : t -> int 19 | -------------------------------------------------------------------------------- /interfaces/4.13/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/4.14/atomic.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val make : 'a -> 'a t 3 | val get : 'a t -> 'a 4 | val set : 'a t -> 'a -> unit 5 | val exchange : 'a t -> 'a -> 'a 6 | val compare_and_set : 'a t -> 'a -> 'a -> bool 7 | val fetch_and_add : int t -> int -> int 8 | val incr : int t -> unit 9 | val decr : int t -> unit 10 | -------------------------------------------------------------------------------- /interfaces/4.14/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/4.14/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/4.14/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase : char -> char 5 | val uppercase : char -> char 6 | val lowercase_ascii : char -> char 7 | val uppercase_ascii : char -> char 8 | type t = char 9 | val compare : t -> t -> int 10 | val equal : t -> t -> bool 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/4.14/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/4.14/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/4.14/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/4.14/genlex.mli: -------------------------------------------------------------------------------- 1 | type token = 2 | | Kwd of string 3 | | Ident of string 4 | | Int of int 5 | | Float of float 6 | | String of string 7 | | Char of char 8 | val make_lexer : string list -> char Stream.t -> token Stream.t 9 | -------------------------------------------------------------------------------- /interfaces/4.14/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val map : ('a -> 'b) -> 'a t -> 'b t 5 | val is_val : 'a t -> bool 6 | val from_val : 'a -> 'a t 7 | val map_val : ('a -> 'b) -> 'a t -> 'b t 8 | val from_fun : (unit -> 'a) -> 'a t 9 | val force_val : 'a t -> 'a 10 | val lazy_from_fun : (unit -> 'a) -> 'a t 11 | val lazy_from_val : 'a -> 'a t 12 | val lazy_is_val : 'a t -> bool 13 | -------------------------------------------------------------------------------- /interfaces/4.14/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/4.14/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/4.14/queue.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/4.14/stack.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val top : 'a t -> 'a 8 | val top_opt : 'a t -> 'a option 9 | val clear : 'a t -> unit 10 | val copy : 'a t -> 'a t 11 | val is_empty : 'a t -> bool 12 | val length : 'a t -> int 13 | val iter : ('a -> unit) -> 'a t -> unit 14 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 15 | val to_seq : 'a t -> 'a Seq.t 16 | val add_seq : 'a t -> 'a Seq.t -> unit 17 | val of_seq : 'a Seq.t -> 'a t 18 | -------------------------------------------------------------------------------- /interfaces/4.14/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/4.14/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/5.0/atomic.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val make : 'a -> 'a t 3 | val get : 'a t -> 'a 4 | val set : 'a t -> 'a -> unit 5 | val exchange : 'a t -> 'a -> 'a 6 | val compare_and_set : 'a t -> 'a -> 'a -> bool 7 | val fetch_and_add : int t -> int -> int 8 | val incr : int t -> unit 9 | val decr : int t -> unit 10 | -------------------------------------------------------------------------------- /interfaces/5.0/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | -------------------------------------------------------------------------------- /interfaces/5.0/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/5.0/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase_ascii : char -> char 5 | val uppercase_ascii : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | val equal : t -> t -> bool 9 | external unsafe_chr : int -> char = "%identity" 10 | -------------------------------------------------------------------------------- /interfaces/5.0/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/5.0/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/5.0/domain.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val spawn : (unit -> 'a) -> 'a t 3 | val join : 'a t -> 'a 4 | type id = private int 5 | val get_id : 'a t -> id 6 | val self : unit -> id 7 | val before_first_spawn : (unit -> unit) -> unit 8 | val at_exit : (unit -> unit) -> unit 9 | val cpu_relax : unit -> unit 10 | val is_main_domain : unit -> bool 11 | val recommended_domain_count : unit -> int 12 | module DLS : 13 | sig 14 | type 'a key 15 | val new_key : ?split_from_parent:('a -> 'a) -> (unit -> 'a) -> 'a key 16 | val get : 'a key -> 'a 17 | val set : 'a key -> 'a -> unit 18 | end 19 | -------------------------------------------------------------------------------- /interfaces/5.0/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/5.0/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val map : ('a -> 'b) -> 'a t -> 'b t 5 | val is_val : 'a t -> bool 6 | val from_val : 'a -> 'a t 7 | val map_val : ('a -> 'b) -> 'a t -> 'b t 8 | val from_fun : (unit -> 'a) -> 'a t 9 | val force_val : 'a t -> 'a 10 | -------------------------------------------------------------------------------- /interfaces/5.0/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/5.0/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/5.0/queue.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('b -> 'a -> 'b) -> 'b -> 'a t -> 'b 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/5.0/stack.mli: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /interfaces/5.0/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/5.0/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/5.1/atomic.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val make : 'a -> 'a t 3 | val get : 'a t -> 'a 4 | val set : 'a t -> 'a -> unit 5 | val exchange : 'a t -> 'a -> 'a 6 | val compare_and_set : 'a t -> 'a -> 'a -> bool 7 | val fetch_and_add : int t -> int -> int 8 | val incr : int t -> unit 9 | val decr : int t -> unit 10 | -------------------------------------------------------------------------------- /interfaces/5.1/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | val seeded_hash : int -> bool -> int 13 | val hash : bool -> int 14 | -------------------------------------------------------------------------------- /interfaces/5.1/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/5.1/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase_ascii : char -> char 5 | val uppercase_ascii : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | val equal : t -> t -> bool 9 | val seeded_hash : int -> t -> int 10 | val hash : t -> int 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/5.1/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/5.1/digest.mli: -------------------------------------------------------------------------------- 1 | type t = string 2 | val compare : t -> t -> int 3 | val equal : t -> t -> bool 4 | val string : string -> t 5 | val bytes : bytes -> t 6 | val substring : string -> int -> int -> t 7 | val subbytes : bytes -> int -> int -> t 8 | external channel : in_channel -> int -> t = "caml_md5_chan" 9 | val file : string -> t 10 | val output : out_channel -> t -> unit 11 | val input : in_channel -> t 12 | val to_hex : t -> string 13 | val from_hex : string -> t 14 | -------------------------------------------------------------------------------- /interfaces/5.1/domain.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val spawn : (unit -> 'a) -> 'a t 3 | val join : 'a t -> 'a 4 | type id = private int 5 | val get_id : 'a t -> id 6 | val self : unit -> id 7 | val before_first_spawn : (unit -> unit) -> unit 8 | val at_exit : (unit -> unit) -> unit 9 | val cpu_relax : unit -> unit 10 | val is_main_domain : unit -> bool 11 | val recommended_domain_count : unit -> int 12 | module DLS : 13 | sig 14 | type 'a key 15 | val new_key : ?split_from_parent:('a -> 'a) -> (unit -> 'a) -> 'a key 16 | val get : 'a key -> 'a 17 | val set : 'a key -> 'a -> unit 18 | end 19 | -------------------------------------------------------------------------------- /interfaces/5.1/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 4 | val negate : ('a -> bool) -> 'a -> bool 5 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 6 | exception Finally_raised of exn 7 | -------------------------------------------------------------------------------- /interfaces/5.1/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val map : ('a -> 'b) -> 'a t -> 'b t 5 | val is_val : 'a t -> bool 6 | val from_val : 'a -> 'a t 7 | val map_val : ('a -> 'b) -> 'a t -> 'b t 8 | val from_fun : (unit -> 'a) -> 'a t 9 | val force_val : 'a t -> 'a 10 | -------------------------------------------------------------------------------- /interfaces/5.1/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/5.1/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/5.1/queue.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('acc -> 'a -> 'acc) -> 'acc -> 'a t -> 'acc 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/5.1/stack.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val drop : 'a t -> unit 8 | val top : 'a t -> 'a 9 | val top_opt : 'a t -> 'a option 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('acc -> 'a -> 'acc) -> 'acc -> 'a t -> 'acc 16 | val to_seq : 'a t -> 'a Seq.t 17 | val add_seq : 'a t -> 'a Seq.t -> unit 18 | val of_seq : 'a Seq.t -> 'a t 19 | -------------------------------------------------------------------------------- /interfaces/5.1/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/5.1/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /interfaces/5.2/atomic.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val make : 'a -> 'a t 3 | val make_contended : 'a -> 'a t 4 | val get : 'a t -> 'a 5 | val set : 'a t -> 'a -> unit 6 | val exchange : 'a t -> 'a -> 'a 7 | val compare_and_set : 'a t -> 'a -> 'a -> bool 8 | val fetch_and_add : int t -> int -> int 9 | val incr : int t -> unit 10 | val decr : int t -> unit 11 | -------------------------------------------------------------------------------- /interfaces/5.2/bool.mli: -------------------------------------------------------------------------------- 1 | type t = bool = 2 | | false 3 | | true 4 | val not : bool -> bool 5 | external (&&) : bool -> bool -> bool = "%sequand" 6 | external (||) : bool -> bool -> bool = "%sequor" 7 | val equal : bool -> bool -> bool 8 | val compare : bool -> bool -> int 9 | val to_int : bool -> int 10 | val to_float : bool -> float 11 | val to_string : bool -> string 12 | val seeded_hash : int -> bool -> int 13 | val hash : bool -> int 14 | -------------------------------------------------------------------------------- /interfaces/5.2/callback.mli: -------------------------------------------------------------------------------- 1 | val register : string -> 'a -> unit 2 | val register_exception : string -> exn -> unit 3 | -------------------------------------------------------------------------------- /interfaces/5.2/char.mli: -------------------------------------------------------------------------------- 1 | external code : char -> int = "%identity" 2 | val chr : int -> char 3 | val escaped : char -> string 4 | val lowercase_ascii : char -> char 5 | val uppercase_ascii : char -> char 6 | type t = char 7 | val compare : t -> t -> int 8 | val equal : t -> t -> bool 9 | val seeded_hash : int -> t -> int 10 | val hash : t -> int 11 | external unsafe_chr : int -> char = "%identity" 12 | -------------------------------------------------------------------------------- /interfaces/5.2/complex.mli: -------------------------------------------------------------------------------- 1 | type t = { 2 | re: float ; 3 | im: float } 4 | val zero : t 5 | val one : t 6 | val i : t 7 | val neg : t -> t 8 | val conj : t -> t 9 | val add : t -> t -> t 10 | val sub : t -> t -> t 11 | val mul : t -> t -> t 12 | val inv : t -> t 13 | val div : t -> t -> t 14 | val sqrt : t -> t 15 | val norm2 : t -> float 16 | val norm : t -> float 17 | val arg : t -> float 18 | val polar : float -> float -> t 19 | val exp : t -> t 20 | val log : t -> t 21 | val pow : t -> t -> t 22 | -------------------------------------------------------------------------------- /interfaces/5.2/domain.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | val spawn : (unit -> 'a) -> 'a t 3 | val join : 'a t -> 'a 4 | type id = private int 5 | val get_id : 'a t -> id 6 | val self : unit -> id 7 | val before_first_spawn : (unit -> unit) -> unit 8 | val at_exit : (unit -> unit) -> unit 9 | val cpu_relax : unit -> unit 10 | val is_main_domain : unit -> bool 11 | val recommended_domain_count : unit -> int 12 | module DLS : 13 | sig 14 | type 'a key 15 | val new_key : ?split_from_parent:('a -> 'a) -> (unit -> 'a) -> 'a key 16 | val get : 'a key -> 'a 17 | val set : 'a key -> 'a -> unit 18 | end 19 | -------------------------------------------------------------------------------- /interfaces/5.2/fun.mli: -------------------------------------------------------------------------------- 1 | external id : 'a -> 'a = "%identity" 2 | val const : 'a -> 'b -> 'a 3 | val compose : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c 4 | val flip : ('a -> 'b -> 'c) -> 'b -> 'a -> 'c 5 | val negate : ('a -> bool) -> 'a -> bool 6 | val protect : finally:(unit -> unit) -> (unit -> 'a) -> 'a 7 | exception Finally_raised of exn 8 | -------------------------------------------------------------------------------- /interfaces/5.2/lazy.mli: -------------------------------------------------------------------------------- 1 | type 'a t = 'a CamlinternalLazy.t 2 | exception Undefined 3 | external force : 'a t -> 'a = "%lazy_force" 4 | val map : ('a -> 'b) -> 'a t -> 'b t 5 | val is_val : 'a t -> bool 6 | val from_val : 'a -> 'a t 7 | val map_val : ('a -> 'b) -> 'a t -> 'b t 8 | val from_fun : (unit -> 'a) -> 'a t 9 | val force_val : 'a t -> 'a 10 | -------------------------------------------------------------------------------- /interfaces/5.2/marshal.mli: -------------------------------------------------------------------------------- 1 | type extern_flags = 2 | | No_sharing 3 | | Closures 4 | | Compat_32 5 | val to_channel : out_channel -> 'a -> extern_flags list -> unit 6 | external to_bytes : 7 | 'a -> extern_flags list -> bytes = "caml_output_value_to_bytes" 8 | external to_string : 9 | 'a -> extern_flags list -> string = "caml_output_value_to_string" 10 | val to_buffer : bytes -> int -> int -> 'a -> extern_flags list -> int 11 | val from_channel : in_channel -> 'a 12 | val from_bytes : bytes -> int -> 'a 13 | val from_string : string -> int -> 'a 14 | val header_size : int 15 | val data_size : bytes -> int -> int 16 | val total_size : bytes -> int -> int 17 | -------------------------------------------------------------------------------- /interfaces/5.2/oo.mli: -------------------------------------------------------------------------------- 1 | val copy : (< .. > as 'a) -> 'a 2 | external id : < .. > -> int = "%field1" 3 | val new_method : string -> CamlinternalOO.tag 4 | val public_method_label : string -> CamlinternalOO.tag 5 | -------------------------------------------------------------------------------- /interfaces/5.2/queue.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val add : 'a -> 'a t -> unit 5 | val push : 'a -> 'a t -> unit 6 | val take : 'a t -> 'a 7 | val take_opt : 'a t -> 'a option 8 | val pop : 'a t -> 'a 9 | val peek : 'a t -> 'a 10 | val peek_opt : 'a t -> 'a option 11 | val top : 'a t -> 'a 12 | val clear : 'a t -> unit 13 | val copy : 'a t -> 'a t 14 | val is_empty : 'a t -> bool 15 | val length : 'a t -> int 16 | val iter : ('a -> unit) -> 'a t -> unit 17 | val fold : ('acc -> 'a -> 'acc) -> 'acc -> 'a t -> 'acc 18 | val transfer : 'a t -> 'a t -> unit 19 | val to_seq : 'a t -> 'a Seq.t 20 | val add_seq : 'a t -> 'a Seq.t -> unit 21 | val of_seq : 'a Seq.t -> 'a t 22 | -------------------------------------------------------------------------------- /interfaces/5.2/stack.mli: -------------------------------------------------------------------------------- 1 | type !'a t 2 | exception Empty 3 | val create : unit -> 'a t 4 | val push : 'a -> 'a t -> unit 5 | val pop : 'a t -> 'a 6 | val pop_opt : 'a t -> 'a option 7 | val drop : 'a t -> unit 8 | val top : 'a t -> 'a 9 | val top_opt : 'a t -> 'a option 10 | val clear : 'a t -> unit 11 | val copy : 'a t -> 'a t 12 | val is_empty : 'a t -> bool 13 | val length : 'a t -> int 14 | val iter : ('a -> unit) -> 'a t -> unit 15 | val fold : ('acc -> 'a -> 'acc) -> 'acc -> 'a t -> 'acc 16 | val to_seq : 'a t -> 'a Seq.t 17 | val add_seq : 'a t -> 'a Seq.t -> unit 18 | val of_seq : 'a Seq.t -> 'a t 19 | -------------------------------------------------------------------------------- /interfaces/5.2/stdLabels.mli: -------------------------------------------------------------------------------- 1 | module Array = ArrayLabels 2 | module Bytes = BytesLabels 3 | module List = ListLabels 4 | module String = StringLabels 5 | -------------------------------------------------------------------------------- /interfaces/5.2/unit.mli: -------------------------------------------------------------------------------- 1 | type t = unit = 2 | | () 3 | val equal : t -> t -> bool 4 | val compare : t -> t -> int 5 | val to_string : t -> string 6 | -------------------------------------------------------------------------------- /stdcompat.h.in: -------------------------------------------------------------------------------- 1 | @C_BEGIN_BEFORE_4_06_0@ 2 | #include 3 | 4 | value 5 | caml_alloc_initialized_string(mlsize_t len, const char *p); 6 | @C_END_BEFORE_4_06_0@ 7 | -------------------------------------------------------------------------------- /stdcompat.ml.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__root 2 | 3 | module Stdlib = Stdcompat__stdlib 4 | 5 | include Stdcompat__stdlib 6 | -------------------------------------------------------------------------------- /stdcompat.mli.in: -------------------------------------------------------------------------------- 1 | type bytes = Stdcompat__init.bytes 2 | (** @before 4.02.0 alias to [string]. *) 3 | 4 | type floatarray = Stdcompat__init.floatarray 5 | (** @before 4.06.0 alias to [float array]. *) 6 | 7 | module Stdlib : Stdcompat__stdlib_s.S 8 | 9 | include Stdcompat__stdlib_s.S 10 | -------------------------------------------------------------------------------- /stdcompat__arg.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__arg_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__array.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__array_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__arrayLabels.ml.in: -------------------------------------------------------------------------------- 1 | @BEGIN_FROM_4_06_0@ 2 | include (Stdcompat__array : module type of struct 3 | include Stdcompat__array 4 | end with module Floatarray := Array.Floatarray) 5 | 6 | module Floatarray = ArrayLabels.Floatarray 7 | @END_FROM_4_06_0@ 8 | @BEGIN_BEFORE_4_06_0@ 9 | include Stdcompat__array 10 | @END_BEFORE_4_06_0@ 11 | 12 | -------------------------------------------------------------------------------- /stdcompat__arrayLabels.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__arrayLabels_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__atomic.ml.in: -------------------------------------------------------------------------------- 1 | @BEGIN_FROM_4_12_0@ 2 | include Atomic 3 | @END_FROM_4_12_0@ 4 | @BEGIN_BEFORE_4_12_0@ 5 | type 'a t = 'a ref 6 | 7 | let make = ref 8 | 9 | let get = (!) 10 | 11 | let set = (:=) 12 | 13 | let exchange r new_value = 14 | let old_value = !r in 15 | r := new_value; 16 | old_value 17 | 18 | let compare_and_set r seen v = 19 | if !r = seen then 20 | begin 21 | r := v; 22 | true 23 | end 24 | else 25 | false 26 | 27 | let fetch_and_add r n = 28 | let old_value = !r in 29 | r := old_value + n; 30 | old_value 31 | 32 | let incr = incr 33 | 34 | let decr = decr 35 | @END_BEFORE_4_12_0@ 36 | @BEGIN_BEFORE_5_2_0@ 37 | let make_contended = make 38 | @END_BEFORE_5_2_0@ 39 | -------------------------------------------------------------------------------- /stdcompat__atomic.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__atomic_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__bool.ml.in: -------------------------------------------------------------------------------- 1 | @BEGIN_FROM_4_08_0@ 2 | include Bool 3 | @END_FROM_4_08_0@ 4 | @BEGIN_BEFORE_4_08_0@ 5 | type t = bool = 6 | | false 7 | | true 8 | 9 | let not = not 10 | 11 | external (&&) : bool -> bool -> bool = "%sequand" 12 | 13 | external (||) : bool -> bool -> bool = "%sequor" 14 | 15 | let equal = ( = ) 16 | 17 | let compare = compare 18 | 19 | let to_int b = 20 | if b then 1 21 | else 0 22 | 23 | let to_float b = 24 | if b then 1. 25 | else 0. 26 | 27 | let to_string = string_of_bool 28 | @END_BEFORE_4_08_0@ 29 | 30 | @BEGIN_BEFORE_5_1_0@ 31 | let hash = Hashtbl.hash 32 | 33 | let seeded_hash = Stdcompat__hashtbl.seeded_hash 34 | @END_BEFORE_5_1_0@ 35 | -------------------------------------------------------------------------------- /stdcompat__bool.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__bool_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__buffer.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__buffer_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__bytes.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__bytes_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__bytesLabels.ml.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__bytes 2 | -------------------------------------------------------------------------------- /stdcompat__bytesLabels.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__bytesLabels_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__char.ml.in: -------------------------------------------------------------------------------- 1 | include Char 2 | 3 | @BEGIN_BEFORE_4_03_0@ 4 | let lowercase_ascii = Char.lowercase 5 | 6 | let uppercase_ascii = Char.uppercase 7 | 8 | let equal : t -> t -> bool = ( = ) 9 | @END_BEFORE_4_03_0@ 10 | 11 | @BEGIN_BEFORE_5_1_0@ 12 | let hash = Hashtbl.hash 13 | 14 | let seeded_hash = Stdcompat__hashtbl.seeded_hash 15 | @END_BEFORE_5_1_0@ 16 | -------------------------------------------------------------------------------- /stdcompat__char.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__char_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__digest.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__digest_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__domain.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__domain_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__either.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__either_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__ephemeron.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__ephemeron_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__filename.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__filename_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__float.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__float_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__format.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__format_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__fun.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__fun_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__hashtbl.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__hashtbl_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__in_channel.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__in_channel_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__int.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__int_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__int32.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__int32_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__int64.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__int64_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__lazy.ml.in: -------------------------------------------------------------------------------- 1 | include Lazy 2 | 3 | @BEGIN_BEFORE_4_00_0@ 4 | let from_fun = lazy_from_fun 5 | 6 | let from_val = lazy_from_val 7 | 8 | let is_val = lazy_is_val 9 | @END_BEFORE_4_00_0@ 10 | 11 | @BEGIN_BEFORE_4_13_0@ 12 | let map f v = 13 | lazy (f (force v)) 14 | 15 | let map_val f v = 16 | if is_val v then 17 | from_val (f (force v)) 18 | else 19 | map f v 20 | @END_BEFORE_4_13_0@ 21 | -------------------------------------------------------------------------------- /stdcompat__lazy.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__lazy_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__lexing.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__lexing_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__list.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__list_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__listLabels.ml.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__list 2 | -------------------------------------------------------------------------------- /stdcompat__listLabels.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__listLabels_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__map.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__map_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__moreLabels.ml.in: -------------------------------------------------------------------------------- 1 | @BEGIN_FROM_5_0_0@ 2 | module Hashtbl = MoreLabels.Hashtbl 3 | @END_FROM_5_0_0@ 4 | @BEGIN_BEFORE_5_0_0@ 5 | module Hashtbl = Stdcompat__hashtbl 6 | @END_BEFORE_5_0_0@ 7 | 8 | @BEGIN_FROM_5_1_0@ 9 | module Map = MoreLabels.Map 10 | @END_FROM_5_1_0@ 11 | @BEGIN_BEFORE_5_1_0@ 12 | module Map = Stdcompat__map 13 | @END_BEFORE_5_1_0@ 14 | 15 | @BEGIN_FROM_5_1_0@ 16 | module Set = MoreLabels.Set 17 | @END_FROM_5_1_0@ 18 | @BEGIN_BEFORE_5_1_0@ 19 | module Set = Stdcompat__set 20 | @END_BEFORE_5_1_0@ 21 | -------------------------------------------------------------------------------- /stdcompat__moreLabels.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__moreLabels_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__native.ml_byte.in: -------------------------------------------------------------------------------- 1 | let native = false -------------------------------------------------------------------------------- /stdcompat__native.ml_native.in: -------------------------------------------------------------------------------- 1 | let native = true -------------------------------------------------------------------------------- /stdcompat__native.mli: -------------------------------------------------------------------------------- 1 | val native : bool 2 | -------------------------------------------------------------------------------- /stdcompat__nativeint.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__nativeint_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__option.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__option_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__out_channel.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__out_channel_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__pervasives.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__pervasives_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__printexc.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__printexc_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__printf.ml.in: -------------------------------------------------------------------------------- 1 | @BEGIN_BEFORE_4_11_0@ 2 | let not_implemented _ = 3 | failwith "Stdcompat.Printf is not implemented yet. Please fill an issue: https://github.com/thierry-martinez/stdcompat/issues ." 4 | 5 | let ikbprintf = not_implemented 6 | 7 | let ibprintf = not_implemented 8 | @END_BEFORE_4_11_0@ 9 | 10 | @BEGIN_BEFORE_4_02_0@ 11 | let ifprintf = not_implemented 12 | 13 | let kbprintf = not_implemented 14 | 15 | let kfprintf = not_implemented 16 | 17 | let ksprintf = not_implemented 18 | @END_BEFORE_4_02_0@ 19 | 20 | @BEGIN_BEFORE_4_01_0@ 21 | let ikfprintf = not_implemented 22 | @END_BEFORE_4_01_0@ 23 | 24 | include Printf 25 | -------------------------------------------------------------------------------- /stdcompat__printf.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__printf_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__queue.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__queue_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__random.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__random_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__result.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__result_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__root.ml.in: -------------------------------------------------------------------------------- 1 | type bytes = Stdcompat__init.bytes 2 | 3 | type floatarray = Stdcompat__init.floatarray 4 | -------------------------------------------------------------------------------- /stdcompat__root.mli.in: -------------------------------------------------------------------------------- 1 | type bytes = Stdcompat__init.bytes 2 | (** @before 4.02.0 alias to [string]. *) 3 | 4 | type floatarray = Stdcompat__init.floatarray 5 | (** @before 4.06.0 alias to [float array]. *) 6 | -------------------------------------------------------------------------------- /stdcompat__seq.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__seq_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__set.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__set_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__stack.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__stack_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__stdlib.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__stdlib_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__string.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__string_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__stringLabels.ml.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__string 2 | -------------------------------------------------------------------------------- /stdcompat__stringLabels.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__stringLabels_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__sys.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__sys_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__tools.mli.in: -------------------------------------------------------------------------------- 1 | @BEGIN_BEFORE_4_07_0@ 2 | val vec_to_seq : ('a -> int) -> ('a -> int -> 'b) -> 'a -> 'b Stdcompat__seq.t 3 | 4 | val vec_to_seqi : 5 | ('a -> int) -> ('a -> int -> 'b) -> 'a -> (int * 'b) Stdcompat__seq.t 6 | @END_BEFORE_4_07_0@ 7 | 8 | @BEGIN_BEFORE_4_05_0@ 9 | val option_find : ('a -> 'b) -> 'a -> 'b option 10 | 11 | val option_fail : ('a -> 'b) -> 'a -> 'b option 12 | 13 | val option_invalid : ('a -> 'b) -> 'a -> 'b option 14 | 15 | exception Predicate_not_found 16 | 17 | val pickle_predicate_not_found : ('a -> 'b) -> 'a -> 'b 18 | @END_BEFORE_4_05_0@ 19 | 20 | @BEGIN_BEFORE_4_03_0@ 21 | val uniq_rev_append : ('a -> 'a -> int) -> 'a list -> 'a list -> 'a list 22 | @END_BEFORE_4_03_0@ 23 | -------------------------------------------------------------------------------- /stdcompat__uchar.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__uchar_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__unit.ml.in: -------------------------------------------------------------------------------- 1 | @BEGIN_FROM_4_08_0@ 2 | include Unit 3 | @END_FROM_4_08_0@ 4 | @BEGIN_BEFORE_4_08_0@ 5 | type t = unit = () 6 | 7 | let equal () () = true 8 | 9 | let compare () () = 0 10 | 11 | let to_string () = "()" 12 | @END_BEFORE_4_08_0@ 13 | -------------------------------------------------------------------------------- /stdcompat__unit.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__unit_s.S 2 | -------------------------------------------------------------------------------- /stdcompat__unit_s.mli.in: -------------------------------------------------------------------------------- 1 | module type S = sig 2 | @BEGIN_FROM_4_08_0@ 3 | type t = unit = 4 | | () 5 | @END_FROM_4_08_0@ 6 | @BEGIN_BEFORE_4_08_0@ 7 | type t = unit = 8 | | () 9 | @END_BEFORE_4_08_0@ 10 | (** @since 4.08.0: type t = unit = 11 | | () 12 | *) 13 | 14 | val equal : t -> t -> bool 15 | (** @since 4.08.0: val equal : t -> t -> bool *) 16 | 17 | val compare : t -> t -> int 18 | (** @since 4.08.0: val compare : t -> t -> int *) 19 | 20 | val to_string : t -> string 21 | (** @since 4.08.0: val to_string : t -> string *) 22 | 23 | end 24 | -------------------------------------------------------------------------------- /stdcompat__weak.mli.in: -------------------------------------------------------------------------------- 1 | include Stdcompat__weak_s.S 2 | -------------------------------------------------------------------------------- /test_all_switches.sh: -------------------------------------------------------------------------------- 1 | #!/usr/bin/env bash 2 | set -e 3 | for ocamlversion in `opam switch -i -s`; do 4 | opam switch $ocamlversion 5 | eval `opam config env` 6 | ./configure 7 | make clean 8 | make 9 | make tests 10 | ./configure --disable-magic 11 | make clean 12 | make 13 | make tests 14 | done 15 | --------------------------------------------------------------------------------