Caml (base.caml.Caml)

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, 'd) format6

type ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4

val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 ‑> string

external format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 ‑> ('a, 'b, 'c, 'd, 'e, 'f) format6 = "%identity"

val (^^) : ('a, 'b, 'c, 'd, 'e, 'f) format6 ‑> ('f, 'b, 'c, 'e, 'g, 'h) format6 ‑> ('a, 'b, 'c, 'd, 'g, 'h) format6

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