Module Stdune

module Appendable_list : sig ... end

Appendable lists: concatenation takes O(1) time, conversion to a list takes O(n).

module Ansi_color : sig ... end
module Array : sig ... end
module Bytes : sig ... end
module Comparable : sig ... end
module Either : sig ... end

Left or right

module Exn : sig ... end

Exceptions

module Exn_with_backtrace : sig ... end

An exception together with the backtrace that raised it.

module Filename : sig ... end
module Hashtbl : sig ... end
module Table : sig ... end

Hashtable with a simple polymorphic type, but without the polymorphic equality.

module Int : sig ... end
module Id : sig ... end
module Io : sig ... end

IO operations

module List : sig ... end
module Map : sig ... end
module Option : sig ... end

Optional values

module Or_exn : sig ... end

Either a value or an exception

module Ordering : sig ... end

Element ordering

module Pp : sig ... end

Pretty printers

module Result : sig ... end

Result type

module Set : sig ... end
module Staged : sig ... end
module String : sig ... end
module Char : sig ... end
module Bool : sig ... end
module Sexp_intf : sig ... end
module Sexp : sig ... end
module Path : sig ... end
module Fmt : sig ... end
module Interned : sig ... end

Interned strings

module Univ_map : sig ... end

Universal maps

module Loc : sig ... end
module Env : sig ... end
module Proc : sig ... end
module Type_eq : sig ... end

Equality between types

module Nothing : sig ... end

Inhabited type

module Bin : sig ... end

Binaries from the PATH

module Digest : sig ... end
module Fdecl : sig ... end

Forward declarations

module Unit : sig ... end
module Monad : sig ... end

Monad signatures

module Fn : sig ... end
module Dyn : sig ... end
module Float : sig ... end
module Tuple : sig ... end
module In_expect_test : sig ... end

A printf that's usable in expect tests.

val reraise : exn -> _
val compare : 'a -> 'a -> Ordering.t
type ('a, 'error) result = ('a, 'error) Result.t =
  1. | Ok of 'a
  2. | Error of 'error
type ('a, 'b) either = ('a, 'b) Either.t =
  1. | Left of 'a
  2. | Right of 'b
type ordering = Ordering.t =
  1. | Lt
  2. | Eq
  3. | Gt
val sprintf : ('a, unit, string) format -> 'a