Module Base.Export

type 'a array = 'a Array.t
val array_of_sexp : a. (Base__.Sexplib.Sexp.t ‑> 'a) ‑> Base__.Sexplib.Sexp.t ‑> 'a array
val sexp_of_array : a. ('a ‑> Base__.Sexplib.Sexp.t) ‑> 'a array ‑> Base__.Sexplib.Sexp.t
val compare_array : a. ('a ‑> 'a ‑> int) ‑> 'a array ‑> 'a array ‑> int
type bool = Bool.t
val bool_of_sexp : Base__.Sexplib.Sexp.t ‑> bool
val sexp_of_bool : bool ‑> Base__.Sexplib.Sexp.t
val hash_fold_bool : Base__.Ppx_hash_lib.Std.Hash.state ‑> bool ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_bool : bool ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_bool : bool ‑> bool ‑> int
type char = Char.t
val char_of_sexp : Base__.Sexplib.Sexp.t ‑> char
val sexp_of_char : char ‑> Base__.Sexplib.Sexp.t
val hash_fold_char : Base__.Ppx_hash_lib.Std.Hash.state ‑> char ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_char : char ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_char : char ‑> char ‑> int
type exn = Exn.t
val sexp_of_exn : exn ‑> Base__.Sexplib.Sexp.t
type float = Float.t
val float_of_sexp : Base__.Sexplib.Sexp.t ‑> float
val sexp_of_float : float ‑> Base__.Sexplib.Sexp.t
val hash_fold_float : Base__.Ppx_hash_lib.Std.Hash.state ‑> float ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_float : float ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_float : float ‑> float ‑> int
type int = Int.t
val int_of_sexp : Base__.Sexplib.Sexp.t ‑> int
val sexp_of_int : int ‑> Base__.Sexplib.Sexp.t
val hash_fold_int : Base__.Ppx_hash_lib.Std.Hash.state ‑> int ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_int : int ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_int : int ‑> int ‑> int
type int32 = Int32.t
val int32_of_sexp : Base__.Sexplib.Sexp.t ‑> int32
val sexp_of_int32 : int32 ‑> Base__.Sexplib.Sexp.t
val hash_fold_int32 : Base__.Ppx_hash_lib.Std.Hash.state ‑> int32 ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_int32 : int32 ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_int32 : int32 ‑> int32 ‑> int
type int64 = Int64.t
val int64_of_sexp : Base__.Sexplib.Sexp.t ‑> int64
val sexp_of_int64 : int64 ‑> Base__.Sexplib.Sexp.t
val hash_fold_int64 : Base__.Ppx_hash_lib.Std.Hash.state ‑> int64 ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_int64 : int64 ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_int64 : int64 ‑> int64 ‑> int
type 'a list = 'a List.t
val list_of_sexp : a. (Base__.Sexplib.Sexp.t ‑> 'a) ‑> Base__.Sexplib.Sexp.t ‑> 'a list
val sexp_of_list : a. ('a ‑> Base__.Sexplib.Sexp.t) ‑> 'a list ‑> Base__.Sexplib.Sexp.t
val hash_fold_list : a. (Base__.Ppx_hash_lib.Std.Hash.state ‑> 'a ‑> Base__.Ppx_hash_lib.Std.Hash.state) ‑> Base__.Ppx_hash_lib.Std.Hash.state ‑> 'a list ‑> Base__.Ppx_hash_lib.Std.Hash.state
val compare_list : a. ('a ‑> 'a ‑> int) ‑> 'a list ‑> 'a list ‑> int
type nativeint = Nativeint.t
val nativeint_of_sexp : Base__.Sexplib.Sexp.t ‑> nativeint
val sexp_of_nativeint : nativeint ‑> Base__.Sexplib.Sexp.t
val hash_fold_nativeint : Base__.Ppx_hash_lib.Std.Hash.state ‑> nativeint ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_nativeint : nativeint ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_nativeint : nativeint ‑> nativeint ‑> int
type 'a option = 'a Option.t
val option_of_sexp : a. (Base__.Sexplib.Sexp.t ‑> 'a) ‑> Base__.Sexplib.Sexp.t ‑> 'a option
val sexp_of_option : a. ('a ‑> Base__.Sexplib.Sexp.t) ‑> 'a option ‑> Base__.Sexplib.Sexp.t
val hash_fold_option : a. (Base__.Ppx_hash_lib.Std.Hash.state ‑> 'a ‑> Base__.Ppx_hash_lib.Std.Hash.state) ‑> Base__.Ppx_hash_lib.Std.Hash.state ‑> 'a option ‑> Base__.Ppx_hash_lib.Std.Hash.state
val compare_option : a. ('a ‑> 'a ‑> int) ‑> 'a option ‑> 'a option ‑> int
type 'a ref = 'a Ref.t
val ref_of_sexp : a. (Base__.Sexplib.Sexp.t ‑> 'a) ‑> Base__.Sexplib.Sexp.t ‑> 'a ref
val sexp_of_ref : a. ('a ‑> Base__.Sexplib.Sexp.t) ‑> 'a ref ‑> Base__.Sexplib.Sexp.t
val compare_ref : a. ('a ‑> 'a ‑> int) ‑> 'a ref ‑> 'a ref ‑> int
type string = String.t
val string_of_sexp : Base__.Sexplib.Sexp.t ‑> string
val sexp_of_string : string ‑> Base__.Sexplib.Sexp.t
val hash_fold_string : Base__.Ppx_hash_lib.Std.Hash.state ‑> string ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_string : string ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_string : string ‑> string ‑> int
type unit = Unit.t
val unit_of_sexp : Base__.Sexplib.Sexp.t ‑> unit
val sexp_of_unit : unit ‑> Base__.Sexplib.Sexp.t
val hash_fold_unit : Base__.Ppx_hash_lib.Std.Hash.state ‑> unit ‑> Base__.Ppx_hash_lib.Std.Hash.state
val hash_unit : unit ‑> Base__.Ppx_hash_lib.Std.Hash.hash_value
val compare_unit : unit ‑> unit ‑> int
type ('a, 'b, 'c) format = ('a, 'b, 'c) Pervasives.format

Format stuff

type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'd) Pervasives.format4
type ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) Pervasives.format6

List operators

include List.Infix
val (@) : 'a Base__List.t ‑> 'a Base__List.t ‑> 'a Base__List.t

Int operators and comparisons

include Int.O

A sub-module designed to be opened to make working with ints more convenient.

include Int_intf.Operators_unbounded
type t
val (+) : t ‑> t ‑> t
val (-) : t ‑> t ‑> t
val (*) : t ‑> t ‑> t
val (/) : t ‑> t ‑> t
val (~-) : t ‑> t
include Polymorphic_compare_intf.Infix with type t := t
type t
val (>=) : t ‑> t ‑> bool
val (<=) : t ‑> t ‑> bool
val (=) : t ‑> t ‑> bool
val (>) : t ‑> t ‑> bool
val (<) : t ‑> t ‑> bool
val (<>) : t ‑> t ‑> bool
val abs : t ‑> t
val neg : t ‑> t
val zero : t
val of_int_exn : int ‑> t
val (%) : t ‑> t ‑> t
val (/%) : t ‑> t ‑> t
val (//) : t ‑> t ‑> float
val (land) : t ‑> t ‑> t
val (lor) : t ‑> t ‑> t
val (lxor) : t ‑> t ‑> t
val (lnot) : t ‑> t
val (lsl) : t ‑> int ‑> t
val (asr) : t ‑> int ‑> t
val (lsr) : t ‑> int ‑> t
include Base__.Import.Int_replace_polymorphic_compare
val (<) : int ‑> int ‑> bool
val (<=) : int ‑> int ‑> bool
val (<>) : int ‑> int ‑> bool
val (=) : int ‑> int ‑> bool
val (>) : int ‑> int ‑> bool
val (>=) : int ‑> int ‑> bool
val ascending : int ‑> int ‑> int
val descending : int ‑> int ‑> int
val compare : int ‑> int ‑> int
val equal : int ‑> int ‑> bool
val max : int ‑> int ‑> int
val min : int ‑> int ‑> int
external (|>) : 'a ‑> ('a ‑> 'b) ‑> 'b = "%revapply"

Composition operator

external (&&) : bool ‑> bool ‑> bool = "%sequand"

Boolean operations

external (||) : bool ‑> bool ‑> bool = "%sequor"
external not : bool ‑> bool = "%boolnot"
external ignore : _ ‑> unit = "%ignore"
val (^) : String.t ‑> String.t ‑> String.t

Common string operations

external (!) : 'a ref ‑> 'a = "%field0"

Reference operations

external ref : 'a ‑> 'a ref = "%makemutable"
external (:=) : 'a ref ‑> 'a ‑> unit = "%setfield0"
val fst : ('a * 'b) ‑> 'a

Pair operations

val snd : ('a * 'b) ‑> 'b
val failwith : string ‑> 'a

Exceptions stuff

val invalid_arg : string ‑> 'a
val raise : exn ‑> 'a
val raise_s : Sexp.t ‑> 'a
val phys_equal : 'a ‑> 'a ‑> bool

Misc