module 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 Console : sig ... endManages the console
module Either : sig ... endLeft or right
module Exn : sig ... endExceptions
module Exn_with_backtrace : sig ... endAn exception together with the backtrace that raised it.
module Fcntl : sig ... endmodule Filename : 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 List : sig ... endmodule Lock_file : sig ... endA mutually exclusive lock file.
module Map : sig ... endmodule Option : sig ... endOptional values
module Or_exn : sig ... endEither a value or an exception
module Ordering : sig ... endElement ordering
module Pp = Ppmodule 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 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 Interned : sig ... endInterned strings
module Interned_intf : sig ... endmodule Univ_map : sig ... endUniversal maps
module Loc : sig ... endmodule Env : sig ... endmodule Proc : sig ... endmodule Type_eq : sig ... endEquality between types. See Base.Type_equal for documentation.
module Nothing : sig ... endInhabited type
module Bin : sig ... endBinaries from the PATH
module Digest : sig ... endDigests (MD5)
module Fdecl : sig ... endForward declarations
module Unit : sig ... endmodule Monad : sig ... endMonad signatures
module State : sig ... endState monad transformer.
module Monoid : sig ... endmodule Dyn : 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 Unix_error : sig ... endAuxiliary functions for working with Unix errors.
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 Top_closure_intf : 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 Metrics : sig ... endUtilities for collecting performance metrics
module 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 -> 'a