include sig ... endmodule Appendable_list : sig ... endAppendable lists: concatenation takes O(1) time, conversion to a list takes O(n).
module Nonempty_list : sig ... endA (to be expanded) collection of functions for working with non-empty lists.
module Ansi_color : sig ... endmodule Array : sig ... endmodule Bytes : sig ... endmodule Char : sig ... endmodule Comparator : sig ... endmodule Either : sig ... endLeft or right
module Exn : sig ... endExceptions
module Exn_with_backtrace : sig ... endAn exception together with the backtrace that raised it.
module Filename : sig ... endRepresent a path component.
module Filename_set : sig ... endLike Path.Set.t but tailored for representing sets of file names in the same parent directory. Compared to Path.Set.t, Filename_set.t statically enforces an important invariant, and can also be processed more efficiently.
module Format : sig ... endmodule Hashtbl : sig ... endmodule Table : sig ... endHashtable with a simple polymorphic type, but without the polymorphic equality.
module Int : sig ... endmodule Id : sig ... endmodule Io : sig ... endIO operations.
module Lazy : sig ... endmodule List : sig ... endmodule Map : sig ... endmodule Option : sig ... endOptional values
module Or_exn : sig ... endEither a value or an exception
module Ordering = Orderingmodule Pp : sig ... endmodule Result : sig ... endResult type
module Set : sig ... endmodule Signal : sig ... endUnix Signal helpers
module Comparable : sig ... endmodule Comparable_intf : sig ... endmodule Staged : sig ... endmodule String : sig ... endmodule String_builder : sig ... endmodule Bool : sig ... endmodule Sexp : sig ... endS-expressions
module Path : sig ... endRepresentation of paths
module Fpath : sig ... endFunctions on paths that are represented as strings
module Univ_map : sig ... endUniversal maps
module Loc : sig ... endmodule Env : sig ... endmodule Env_path : sig ... endHandle the PATH environment variable.
module Proc : sig ... endmodule Type_eq : sig ... endEquality between types. See Base.Type_equal for documentation.
module Nothing : sig ... endUninhabited type
module Bin : sig ... endBinaries from the PATH
module Fdecl : sig ... endForward declarations
module Unit : sig ... endmodule Monad : sig ... endMonad signatures
module State : sig ... endState monad transformer.
module Monoid : sig ... endmodule Float : sig ... endmodule Tuple : sig ... endmodule Poly : sig ... endmodule Code_error : sig ... endA programming error that should be reported upstream
module User_error : sig ... endError meant for humans
module User_message : sig ... endA message for the user
module User_warning : sig ... endNon-fatal user errors
module Lexbuf : sig ... endLexing buffer utilities
module Scanf : sig ... endSafe version of Scanf from the stdlib. Does not raise parsing errors errors.
module Sys : sig ... endmodule Pid : sig ... endmodule Applicative : sig ... endmodule type Top_closure = sig ... endmodule Top_closure : sig ... endmodule Seq : sig ... endmodule Temp : sig ... endTemporary file management
module Queue : sig ... endmodule Caller_id : sig ... endWho called me?
module Dune_filesystem_stubs = Dune_filesystem_stubsmodule Predicate : sig ... endPredicates are functions of type 'a -> bool
module Bytes_unit : sig ... endmodule Dev_null : sig ... endPortable access /dev/null with some shared fd's to reduce the open fd count
module Platform : sig ... endPlatform detection.
module Per_item : sig ... endModule used to represent the (per_xxx ...) forms
module Bit_set : sig ... endA set of elements that can be represented by a single word
module type Per_item = sig ... endmodule Unix_error : sig ... endmodule File_kind : sig ... endmodule type Applicative = sig ... endmodule type Monad = sig ... endmodule type Monoid = sig ... endval sprintf : ('a, unit, string) format -> 'aval ksprintf : (string -> 'a) -> ('b, unit, string, 'a) format4 -> 'bval printfn : ('a, unit, string, unit) format4 -> 'amodule For_tests : sig ... end