Module Caml

module Arg = Arg
module Array = Array
module ArrayLabels = ArrayLabels
module Buffer = Buffer
module Bytes = Bytes
module BytesLabels = BytesLabels
module Callback = Callback
module CamlinternalBigarray = CamlinternalBigarray
module CamlinternalFormat = CamlinternalFormat
module CamlinternalFormatBasics = CamlinternalFormatBasics
module CamlinternalLazy = CamlinternalLazy
module CamlinternalMod = CamlinternalMod
module CamlinternalOO = CamlinternalOO
module Char = Char
module Complex = Complex
module Digest = Digest
module Ephemeron = Ephemeron
module Filename = Filename
module Format = Format
module Gc = Gc
module Genlex = Genlex
module Hashtbl = Hashtbl
module Int32 = Int32
module Int64 = Int64
module Lazy = Lazy
module Lexing = Lexing
module List = List
module ListLabels = ListLabels
module Map = Map
module Marshal = Marshal
module MoreLabels = MoreLabels
module Nativeint = Nativeint
module Obj = Obj
module Oo = Oo
module Parsing = Parsing
module Pervasives = Pervasives
module Printexc = Printexc
module Printf = Printf
module Queue = Queue
module Random = Random
module Scanf = Scanf
module Set = Set
module Sort = Sort
module Spacetime = Spacetime
module Stack = Stack
module StdLabels = StdLabels
module Stream = Stream
module String = String
module StringLabels = StringLabels
module Sys = Sys
module Uchar = Uchar
module Weak = Weak
include Pervasives
external raise : exn ‑> 'a = "%raise"
external raise_notrace : exn ‑> 'a = "%raise_notrace"
val invalid_arg : string ‑> 'a
val failwith : string ‑> 'a
exception Exit
external (=) : 'a ‑> 'a ‑> bool = "%equal"
external (<>) : 'a ‑> 'a ‑> bool = "%notequal"
external (<) : 'a ‑> 'a ‑> bool = "%lessthan"
external (>) : 'a ‑> 'a ‑> bool = "%greaterthan"
external (<=) : 'a ‑> 'a ‑> bool = "%lessequal"
external (>=) : 'a ‑> 'a ‑> bool = "%greaterequal"
external compare : 'a ‑> 'a ‑> int = "%compare"
val min : 'a ‑> 'a ‑> 'a
val max : 'a ‑> 'a ‑> 'a
external (==) : 'a ‑> 'a ‑> bool = "%eq"
external (!=) : 'a ‑> 'a ‑> bool = "%noteq"
external not : bool ‑> bool = "%boolnot"
external (&&) : bool ‑> bool ‑> bool = "%sequand"
external (&) : bool ‑> bool ‑> bool = "%sequand"
  • Deprecated Use (&&) instead.
external (||) : bool ‑> bool ‑> bool = "%sequor"
external or : bool ‑> bool ‑> bool = "%sequor"
  • Deprecated Use (||) instead.
external __LOC__ : string = "%loc_LOC"
external __FILE__ : string = "%loc_FILE"
external __LINE__ : int = "%loc_LINE"
external __MODULE__ : string = "%loc_MODULE"
external __POS__ : string * int * int * int = "%loc_POS"
external __LOC_OF__ : 'a ‑> string * 'a = "%loc_LOC"
external __LINE_OF__ : 'a ‑> int * 'a = "%loc_LINE"
external __POS_OF__ : 'a ‑> (string * int * int * int) * 'a = "%loc_POS"
external (|>) : 'a ‑> ('a ‑> 'b) ‑> 'b = "%revapply"
external (@@) : ('a ‑> 'b) ‑> 'a ‑> 'b = "%apply"
external (~-) : int ‑> int = "%negint"
external (~+) : int ‑> int = "%identity"
external succ : int ‑> int = "%succint"
external pred : int ‑> int = "%predint"
external (+) : int ‑> int ‑> int = "%addint"
external (-) : int ‑> int ‑> int = "%subint"
external (*) : int ‑> int ‑> int = "%mulint"
external (/) : int ‑> int ‑> int = "%divint"
external (mod) : int ‑> int ‑> int = "%modint"
val abs : int ‑> int
val max_int : int
val min_int : int
external (land) : int ‑> int ‑> int = "%andint"
external (lor) : int ‑> int ‑> int = "%orint"
external (lxor) : int ‑> int ‑> int = "%xorint"
val (lnot) : int ‑> int
external (lsl) : int ‑> int ‑> int = "%lslint"
external (lsr) : int ‑> int ‑> int = "%lsrint"
external (asr) : int ‑> int ‑> int = "%asrint"
external (~-.) : float ‑> float = "%negfloat"
external (~+.) : float ‑> float = "%identity"
external (+.) : float ‑> float ‑> float = "%addfloat"
external (-.) : float ‑> float ‑> float = "%subfloat"
external (*.) : float ‑> float ‑> float = "%mulfloat"
external (/.) : float ‑> float ‑> float = "%divfloat"
external (**) : float ‑> float ‑> float = "caml_power_float" "pow"
external sqrt : float ‑> float = "caml_sqrt_float" "sqrt"
external exp : float ‑> float = "caml_exp_float" "exp"
external log : float ‑> float = "caml_log_float" "log"
external log10 : float ‑> float = "caml_log10_float" "log10"
external expm1 : float ‑> float = "caml_expm1_float" "caml_expm1"
external log1p : float ‑> float = "caml_log1p_float" "caml_log1p"
external cos : float ‑> float = "caml_cos_float" "cos"
external sin : float ‑> float = "caml_sin_float" "sin"
external tan : float ‑> float = "caml_tan_float" "tan"
external acos : float ‑> float = "caml_acos_float" "acos"
external asin : float ‑> float = "caml_asin_float" "asin"
external atan : float ‑> float = "caml_atan_float" "atan"
external atan2 : float ‑> float ‑> float = "caml_atan2_float" "atan2"
external hypot : float ‑> float ‑> float = "caml_hypot_float" "caml_hypot"
external cosh : float ‑> float = "caml_cosh_float" "cosh"
external sinh : float ‑> float = "caml_sinh_float" "sinh"
external tanh : float ‑> float = "caml_tanh_float" "tanh"
external ceil : float ‑> float = "caml_ceil_float" "ceil"
external floor : float ‑> float = "caml_floor_float" "floor"
external abs_float : float ‑> float = "%absfloat"
external copysign : float ‑> float ‑> float = "caml_copysign_float" "caml_copysign"
external mod_float : float ‑> float ‑> float = "caml_fmod_float" "fmod"
external frexp : float ‑> float * int = "caml_frexp_float"
external ldexp : float ‑> int ‑> float = "caml_ldexp_float" "caml_ldexp_float_unboxed"
external modf : float ‑> float * float = "caml_modf_float"
external float : int ‑> float = "%floatofint"
external float_of_int : int ‑> float = "%floatofint"
external truncate : float ‑> int = "%intoffloat"
external int_of_float : float ‑> int = "%intoffloat"
val infinity : float
val neg_infinity : float
val nan : float
val max_float : float
val min_float : float
val epsilon_float : float
type fpclass = Pervasives.fpclass =
| FP_normal
| FP_subnormal
| FP_zero
| FP_infinite
| FP_nan
external classify_float : float ‑> fpclass = "caml_classify_float" "caml_classify_float_unboxed"
val (^) : string ‑> string ‑> string
external int_of_char : char ‑> int = "%identity"
val char_of_int : int ‑> char
external ignore : 'a ‑> unit = "%ignore"
val string_of_bool : bool ‑> string
val bool_of_string : string ‑> bool
val bool_of_string_opt : string ‑> bool option
val string_of_int : int ‑> string
external int_of_string : string ‑> int = "caml_int_of_string"
val int_of_string_opt : string ‑> int option
val string_of_float : float ‑> string
external float_of_string : string ‑> float = "caml_float_of_string"
val float_of_string_opt : string ‑> float option
external fst : ('a * 'b) ‑> 'a = "%field0"
external snd : ('a * 'b) ‑> 'b = "%field1"
val (@) : 'a list ‑> 'a list ‑> 'a list
type in_channel = Pervasives.in_channel
type out_channel = Pervasives.out_channel
val stdin : in_channel
val stdout : out_channel
val stderr : out_channel
val print_char : char ‑> unit
val print_string : string ‑> unit
val print_bytes : bytes ‑> unit
val print_int : int ‑> unit
val print_float : float ‑> unit
val print_endline : string ‑> unit
val print_newline : unit ‑> unit
val prerr_char : char ‑> unit
val prerr_string : string ‑> unit
val prerr_bytes : bytes ‑> unit
val prerr_int : int ‑> unit
val prerr_float : float ‑> unit
val prerr_endline : string ‑> unit
val prerr_newline : unit ‑> unit
val read_line : unit ‑> string
val read_int : unit ‑> int
val read_int_opt : unit ‑> int option
val read_float : unit ‑> float
val read_float_opt : unit ‑> float option
type open_flag = Pervasives.open_flag =
| Open_rdonly
| Open_wronly
| Open_append
| Open_creat
| Open_trunc
| Open_excl
| Open_binary
| Open_text
| Open_nonblock
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 flush_all : unit ‑> 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 = Pervasives.LargeFile
type 'a ref = 'a Pervasives.ref = {
mutable contents : 'a;
}
external ref : 'a ‑> 'a ref = "%makemutable"
external (!) : 'a ref ‑> 'a = "%field0"
external (:=) : 'a ref ‑> 'a ‑> unit = "%setfield0"
external incr : int ref ‑> unit = "%incr"
external decr : int ref ‑> unit = "%decr"
type ('a, 'b) result = ('a'b) Pervasives.result =
| Ok of 'a
| Error of 'b
type ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a'b'c'd'e'f) CamlinternalFormatBasics.format6
type ('a, 'b, 'c, 'd) format4 = ('a'b'c'c'c'dformat6
type ('a, 'b, 'c) format = ('a'b'c'cformat4
val string_of_format : ('a'b'c'd'e'fformat6 ‑> string
external format_of_string : ('a'b'c'd'e'fformat6 ‑> ('a'b'c'd'e'fformat6 = "%identity"
val (^^) : ('a'b'c'd'e'fformat6 ‑> ('f'b'c'e'g'hformat6 ‑> ('a'b'c'd'g'hformat6
val exit : int ‑> 'a
val at_exit : (unit ‑> unit) ‑> unit
val valid_float_lexem : string ‑> string
val unsafe_really_input : in_channel ‑> bytes ‑> int ‑> int ‑> unit
val do_at_exit : unit ‑> unit
exception Not_found