Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include module type of struct include Base end with module Sexp := Base.Sexp
include module type of struct include Shadow_stdlib end
with module Array := Caml.Array
with module Buffer := Caml.Buffer
with module Char := Caml.Char
with module Hashtbl := Caml.Hashtbl
with module Int32 := Caml.Int32
with module Int64 := Caml.Int64
with module Lazy := Caml.Lazy
with module List := Caml.List
with module Map := Caml.Map
with module Nativeint := Caml.Nativeint
with module Printf := Caml.Printf
with module Random := Caml.Random
with module Set := Caml.Set
with module String := Caml.String
with module Sys := Caml.Sys
with module Uchar := Caml.Uchar
with module Lexing := Caml.Lexing
with type ('a, 'b, 'c) format := ('a, 'b, 'c) Pervasives.format
with type ('a, 'b, 'c, 'd) format4 := ('a, 'b, 'c, 'd) Pervasives.format4
with type ('a, 'b, 'c, 'd, 'e, 'f) format6 :=
('a, 'b, 'c, 'd, 'e, 'f) Pervasives.format6
with type 'a ref := 'a Pervasives.ref
module Arg = Base.Arg
module ArrayLabels = Base.ArrayLabels
module Bytes = Base.Bytes
module BytesLabels = Base.BytesLabels
module Callback = Base.Callback
module Complex = Base.Complex
module Digest = Base.Digest
module Ephemeron = Base.Ephemeron
module Filename = Base.Filename
module Format = Base.Format
module Gc = Base.Gc
module Genlex = Base.Genlex
module ListLabels = Base.ListLabels
module Marshal = Base.Marshal
module MoreLabels = Base.MoreLabels
module Obj = Base.Obj
module Oo = Base.Oo
module Parsing = Base.Parsing
module Pervasives = Base.Pervasives
module Printexc = Base.Printexc
module Queue = Base.Queue
module Scanf = Base.Scanf
module Sort = Base.Sort
module Spacetime = Base.Spacetime
module Stack = Base.Stack
module StdLabels = Base.StdLabels
module Stream = Base.Stream
module StringLabels = Base.StringLabels
module Weak = Base.Weak
val classify_float : float -> fpclass
type nonrec in_channel = Pervasives.in_channel
type nonrec out_channel = Pervasives.out_channel
val stdin : in_channel
val stdout : out_channel
val stderr : out_channel
type nonrec open_flag = Pervasives.open_flag =
val open_out : string -> out_channel
val open_out_bin : string -> out_channel
val open_out_gen : open_flag list -> int -> string -> out_channel
val flush : out_channel -> unit
val output_char : out_channel -> char -> unit
val output_string : out_channel -> string -> unit
val output_bytes : out_channel -> bytes -> unit
val output : out_channel -> bytes -> int -> int -> unit
val output_substring : out_channel -> string -> int -> int -> unit
val output_byte : out_channel -> int -> unit
val output_binary_int : out_channel -> int -> unit
val output_value : out_channel -> 'a -> unit
val seek_out : out_channel -> int -> unit
val pos_out : out_channel -> int
val out_channel_length : out_channel -> int
val close_out : out_channel -> unit
val close_out_noerr : out_channel -> unit
val set_binary_mode_out : out_channel -> bool -> unit
val open_in : string -> in_channel
val open_in_bin : string -> in_channel
val open_in_gen : open_flag list -> int -> string -> in_channel
val input_char : in_channel -> char
val input_line : in_channel -> string
val input : in_channel -> bytes -> int -> int -> int
val really_input : in_channel -> bytes -> int -> int -> unit
val really_input_string : in_channel -> int -> string
val input_byte : in_channel -> int
val input_binary_int : in_channel -> int
val input_value : in_channel -> 'a
val seek_in : in_channel -> int -> unit
val pos_in : in_channel -> int
val in_channel_length : in_channel -> int
val close_in : in_channel -> unit
val close_in_noerr : in_channel -> unit
val set_binary_mode_in : in_channel -> bool -> unit
module LargeFile = Base.LargeFile
val incr : int Pervasives.ref -> unit
val decr : int Pervasives.ref -> unit
val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) Pervasives.format6 -> string
val format_of_string :
('a, 'b, 'c, 'd, 'e, 'f) Pervasives.format6 ->
('a, 'b, 'c, 'd, 'e, 'f) Pervasives.format6
val (^^) :
('a, 'b, 'c, 'd, 'e, 'f) Pervasives.format6 ->
('f, 'b, 'c, 'e, 'g, 'h) Pervasives.format6 ->
('a, 'b, 'c, 'd, 'g, 'h) Pervasives.format6
val unsafe_really_input : in_channel -> bytes -> int -> int -> unit
module Applicative = Base.Applicative
module Applicative_intf = Base.Applicative_intf
module Array = Base.Array
module Avltree = Base.Avltree
module Backtrace = Base.Backtrace
module Binary_search = Base.Binary_search
module Binary_searchable = Base.Binary_searchable
module Binary_searchable_intf = Base.Binary_searchable_intf
module Blit = Base.Blit
module Blit_intf = Base.Blit_intf
module Bool = Base.Bool
module Buffer = Base.Buffer
module Char = Base.Char
module Commutative_group = Base.Commutative_group
module Comparable = Base.Comparable
module Comparable_intf = Base.Comparable_intf
module Comparator = Base.Comparator
module Container = Base.Container
module Container_intf = Base.Container_intf
module Either = Base.Either
module Either_intf = Base.Either_intf
module Equal = Base.Equal
module Error = Base.Error
module Exn = Base.Exn
module Field = Base.Field
module Float = Base.Float
module Floatable = Base.Floatable
module Fn = Base.Fn
module Hash = Base.Hash
module Hash_intf = Base.Hash_intf
module Hash_set = Base.Hash_set
module Hash_set_intf = Base.Hash_set_intf
module Hasher = Base.Hasher
module Hashtbl = Base.Hashtbl
module Hashtbl_intf = Base.Hashtbl_intf
module Heap_block = Base.Heap_block
module Identifiable = Base.Identifiable
module Indexed_container = Base.Indexed_container
module Info = Base.Info
module Info_intf = Base.Info_intf
module Int = Base.Int
module Int32 = Base.Int32
module Int63 = Base.Int63
module Int64 = Base.Int64
module Int_intf = Base.Int_intf
module Intable = Base.Intable
module Invariant = Base.Invariant
module Lazy = Base.Lazy
module List = Base.List
module Map = Base.Map
module Map_intf = Base.Map_intf
module Maybe_bound = Base.Maybe_bound
module Monad = Base.Monad
module Nativeint = Base.Nativeint
module Option = Base.Option
module Or_error = Base.Or_error
module Ordered_collection_common = Base.Ordered_collection_common
module Ordering = Base.Ordering
module Poly = Base.Poly
module Polymorphic_compare = Base.Polymorphic_compare
module Polymorphic_compare_intf = Base.Polymorphic_compare_intf
module Popcount = Base.Popcount
module Pretty_printer = Base.Pretty_printer
module Printf = Base.Printf
module Linked_queue = Base.Linked_queue
module Queue_intf = Base.Queue_intf
module Random = Base.Random
module Ref = Base.Ref
module Result = Base.Result
module Sequence = Base.Sequence
module Set = Base.Set
module Set_intf = Base.Set_intf
module Sexpable = Base.Sexpable
module Sign = Base.Sign
module Source_code_position = Base.Source_code_position
module Staged = Base.Staged
module String = Base.String
module Stringable = Base.Stringable
module String_dict = Base.String_dict
module Sys = Base.Sys
module T = Base.T
module Type_equal = Base.Type_equal
module Unit = Base.Unit
module Uchar = Base.Uchar
module Validate = Base.Validate
module Variant = Base.Variant
module With_return = Base.With_return
module Word_size = Base.Word_size
module Export = Base.Export
include module type of struct include Export end
type 'a array = 'a Base.Array.t
val array_of_sexp : 'a. (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a array
val sexp_of_array : 'a. ('a -> Base.Sexp.t) -> 'a array -> Base.Sexp.t
type bool = Base.Bool.t
val bool_of_sexp : Base.Sexp.t -> bool
val sexp_of_bool : bool -> Base.Sexp.t
val hash_fold_bool : Base.Hash.state -> bool -> Base.Hash.state
val hash_bool : bool -> Base.Hash.hash_value
type char = Base.Char.t
val char_of_sexp : Base.Sexp.t -> char
val sexp_of_char : char -> Base.Sexp.t
val hash_fold_char : Base.Hash.state -> char -> Base.Hash.state
val hash_char : char -> Base.Hash.hash_value
type exn = Base.Exn.t
val sexp_of_exn : exn -> Base.Sexp.t
type float = Base.Float.t
val float_of_sexp : Base.Sexp.t -> float
val sexp_of_float : float -> Base.Sexp.t
val hash_fold_float : Base.Hash.state -> float -> Base.Hash.state
val hash_float : float -> Base.Hash.hash_value
type int = Base.Int.t
val int_of_sexp : Base.Sexp.t -> int
val sexp_of_int : int -> Base.Sexp.t
val hash_fold_int : Base.Hash.state -> int -> Base.Hash.state
val hash_int : int -> Base.Hash.hash_value
type int32 = Base.Int32.t
val int32_of_sexp : Base.Sexp.t -> int32
val sexp_of_int32 : int32 -> Base.Sexp.t
val hash_fold_int32 : Base.Hash.state -> int32 -> Base.Hash.state
val hash_int32 : int32 -> Base.Hash.hash_value
type int64 = Base.Int64.t
val int64_of_sexp : Base.Sexp.t -> int64
val sexp_of_int64 : int64 -> Base.Sexp.t
val hash_fold_int64 : Base.Hash.state -> int64 -> Base.Hash.state
val hash_int64 : int64 -> Base.Hash.hash_value
type 'a list = 'a Base.List.t
val list_of_sexp : 'a. (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a list
val sexp_of_list : 'a. ('a -> Base.Sexp.t) -> 'a list -> Base.Sexp.t
val hash_fold_list :
'a. (Base.Hash.state -> 'a -> Base.Hash.state) ->
Base.Hash.state ->
'a list ->
Base.Hash.state
type nativeint = Base.Nativeint.t
val nativeint_of_sexp : Base.Sexp.t -> nativeint
val sexp_of_nativeint : nativeint -> Base.Sexp.t
val hash_fold_nativeint : Base.Hash.state -> nativeint -> Base.Hash.state
val hash_nativeint : nativeint -> Base.Hash.hash_value
type 'a option = 'a Base.Option.t
val option_of_sexp : 'a. (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a option
val sexp_of_option : 'a. ('a -> Base.Sexp.t) -> 'a option -> Base.Sexp.t
val hash_fold_option :
'a. (Base.Hash.state -> 'a -> Base.Hash.state) ->
Base.Hash.state ->
'a option ->
Base.Hash.state
type 'a ref = 'a Base.Ref.t
val ref_of_sexp : 'a. (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a ref
val sexp_of_ref : 'a. ('a -> Base.Sexp.t) -> 'a ref -> Base.Sexp.t
type string = Base.String.t
val string_of_sexp : Base.Sexp.t -> string
val sexp_of_string : string -> Base.Sexp.t
val hash_fold_string : Base.Hash.state -> string -> Base.Hash.state
val hash_string : string -> Base.Hash.hash_value
type unit = Base.Unit.t
val unit_of_sexp : Base.Sexp.t -> unit
val sexp_of_unit : unit -> Base.Sexp.t
val hash_fold_unit : Base.Hash.state -> unit -> Base.Hash.state
val hash_unit : unit -> Base.Hash.hash_value
type nonrec ('a, 'b, 'c) format = ('a, 'b, 'c) Pervasives.format
Format stuff
type nonrec ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'd) Pervasives.format4
type nonrec ('a, 'b, 'c, 'd, 'e, 'f) format6 =
('a, 'b, 'c, 'd, 'e, 'f) Pervasives.format6
List operators
include module type of struct include Base.List.Infix end
val (@) : 'a Base.List.t -> 'a Base.List.t -> 'a Base.List.t
Int operators and comparisons
include module type of struct include Base.Int.O end
A sub-module designed to be opened to make working with ints more convenient.
A sub-module designed to be opened to make working with ints more convenient.
include Base.Int_intf.Operators_unbounded with type t := Base.Int.t
val (+) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (-) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (*) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (/) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (~-) : Base.Int.t -> Base.Int.t
include Base.Polymorphic_compare_intf.Infix with type t := Base.Int.t
val abs : Base.Int.t -> Base.Int.t
val neg : Base.Int.t -> Base.Int.t
val zero : Base.Int.t
val of_int_exn : int -> Base.Int.t
val (%) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (/%) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (//) : Base.Int.t -> Base.Int.t -> float
val (land) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (lor) : Base.Int.t -> Base.Int.t -> Base.Int.t
val (lxor) : Base.Int.t -> Base.Int.t -> Base.Int.t
val lnot : Base.Int.t -> Base.Int.t
val (lsl) : Base.Int.t -> int -> Base.Int.t
val (asr) : Base.Int.t -> int -> Base.Int.t
val (lsr) : Base.Int.t -> int -> Base.Int.t
val ignore : _ -> unit
val (^) : Base.String.t -> Base.String.t -> Base.String.t
Common string operations
val (!) : 'a ref -> 'a
Reference operations
val ref : 'a -> 'a ref
val raise_s : Base.Sexp.t -> 'a
module Not_exposed_properly = Base.Not_exposed_properly
module Sexp = Sexplib.Sexp
module Out_channel : sig ... end
val force : 'a Lazy.t -> 'a
val of_sexp_error : string -> Sexplib0.Sexp.t -> 'a