1
external raise : exn -> 'a = "%raise"
2
external raise_notrace : exn -> 'a = "%raise_notrace"
3
val invalid_arg : string -> 'a
4
val failwith : string -> 'a
6
external (=) : 'a -> 'a -> bool = "%equal"
7
external (<>) : 'a -> 'a -> bool = "%notequal"
8
external (<) : 'a -> 'a -> bool = "%lessthan"
9
external (>) : 'a -> 'a -> bool = "%greaterthan"
10
external (<=) : 'a -> 'a -> bool = "%lessequal"
11
external (>=) : 'a -> 'a -> bool = "%greaterequal"
12
external compare : 'a -> 'a -> int = "%compare"
13
val min : 'a -> 'a -> 'a
14
val max : 'a -> 'a -> 'a
15
external (==) : 'a -> 'a -> bool = "%eq"
16
external (!=) : 'a -> 'a -> bool = "%noteq"
17
external not : bool -> bool = "%boolnot"
18
external (&&) : bool -> bool -> bool = "%sequand"
19
external (&) : bool -> bool -> bool = "%sequand"[@@ocaml.deprecated
21
external (||) : bool -> bool -> bool = "%sequor"
22
external (or) : bool -> bool -> bool = "%sequor"[@@ocaml.deprecated
24
external __LOC__ : string = "%loc_LOC"
25
external __FILE__ : string = "%loc_FILE"
26
external __LINE__ : int = "%loc_LINE"
27
external __MODULE__ : string = "%loc_MODULE"
28
external __POS__ : (string * int * int * int) = "%loc_POS"
29
external __LOC_OF__ : 'a -> (string * 'a) = "%loc_LOC"
30
external __LINE_OF__ : 'a -> (int * 'a) = "%loc_LINE"
31
external __POS_OF__ : 'a -> ((string * int * int * int) * 'a) = "%loc_POS"
32
external (|>) : 'a -> ('a -> 'b) -> 'b = "%revapply"
33
external (@@) : ('a -> 'b) -> 'a -> 'b = "%apply"
34
external (~-) : int -> int = "%negint"
35
external (~+) : int -> int = "%identity"
36
external succ : int -> int = "%succint"
37
external pred : int -> int = "%predint"
38
external (+) : int -> int -> int = "%addint"
39
external (-) : int -> int -> int = "%subint"
40
external ( * ) : int -> int -> int = "%mulint"
41
external (/) : int -> int -> int = "%divint"
42
external (mod) : int -> int -> int = "%modint"
46
external (land) : int -> int -> int = "%andint"
47
external (lor) : int -> int -> int = "%orint"
48
external (lxor) : int -> int -> int = "%xorint"
50
external (lsl) : int -> int -> int = "%lslint"
51
external (lsr) : int -> int -> int = "%lsrint"
52
external (asr) : int -> int -> int = "%asrint"
53
external (~-.) : float -> float = "%negfloat"
54
external (~+.) : float -> float = "%identity"
55
external (+.) : float -> float -> float = "%addfloat"
56
external (-.) : float -> float -> float = "%subfloat"
57
external ( *. ) : float -> float -> float = "%mulfloat"
58
external (/.) : float -> float -> float = "%divfloat"
59
external ( ** ) : float -> float -> float = "caml_power_float" "pow" "float"
60
external sqrt : float -> float = "caml_sqrt_float" "sqrt" "float"
61
external exp : float -> float = "caml_exp_float" "exp" "float"
62
external log : float -> float = "caml_log_float" "log" "float"
63
external log10 : float -> float = "caml_log10_float" "log10" "float"
64
external expm1 : float -> float = "caml_expm1_float" "caml_expm1" "float"
65
external log1p : float -> float = "caml_log1p_float" "caml_log1p" "float"
66
external cos : float -> float = "caml_cos_float" "cos" "float"
67
external sin : float -> float = "caml_sin_float" "sin" "float"
68
external tan : float -> float = "caml_tan_float" "tan" "float"
69
external acos : float -> float = "caml_acos_float" "acos" "float"
70
external asin : float -> float = "caml_asin_float" "asin" "float"
71
external atan : float -> float = "caml_atan_float" "atan" "float"
72
external atan2 : float -> float -> float = "caml_atan2_float" "atan2" "float"
74
float -> float -> float = "caml_hypot_float" "caml_hypot" "float"
75
external cosh : float -> float = "caml_cosh_float" "cosh" "float"
76
external sinh : float -> float = "caml_sinh_float" "sinh" "float"
77
external tanh : float -> float = "caml_tanh_float" "tanh" "float"
78
external ceil : float -> float = "caml_ceil_float" "ceil" "float"
79
external floor : float -> float = "caml_floor_float" "floor" "float"
80
external abs_float : float -> float = "%absfloat"
82
float -> float -> float = "caml_copysign_float" "caml_copysign" "float"
84
float -> float -> float = "caml_fmod_float" "fmod" "float"
85
external frexp : float -> (float * int) = "caml_frexp_float"
86
external ldexp : float -> int -> float = "caml_ldexp_float"
87
external modf : float -> (float * float) = "caml_modf_float"
88
external float : int -> float = "%floatofint"
89
external float_of_int : int -> float = "%floatofint"
90
external truncate : float -> int = "%intoffloat"
91
external int_of_float : float -> int = "%intoffloat"
93
val neg_infinity : float
97
val epsilon_float : float
104
external classify_float : float -> fpclass = "caml_classify_float"
105
val (^) : string -> string -> string
106
external int_of_char : char -> int = "%identity"
107
val char_of_int : int -> char
108
external ignore : 'a -> unit = "%ignore"
109
val string_of_bool : bool -> string
110
val bool_of_string : string -> bool
111
val string_of_int : int -> string
112
external int_of_string : string -> int = "caml_int_of_string"
113
val string_of_float : float -> string
114
external float_of_string : string -> float = "caml_float_of_string"
115
external fst : ('a * 'b) -> 'a = "%field0"
116
external snd : ('a * 'b) -> 'b = "%field1"
117
val (@) : 'a list -> 'a list -> 'a list
120
val stdin : in_channel
121
val stdout : out_channel
122
val stderr : out_channel
123
val print_char : char -> unit
124
val print_string : string -> unit
125
val print_bytes : bytes -> unit
126
val print_int : int -> unit
127
val print_float : float -> unit
128
val print_endline : string -> unit
129
val print_newline : unit -> unit
130
val prerr_char : char -> unit
131
val prerr_string : string -> unit
132
val prerr_bytes : bytes -> unit
133
val prerr_int : int -> unit
134
val prerr_float : float -> unit
135
val prerr_endline : string -> unit
136
val prerr_newline : unit -> unit
137
val read_line : unit -> string
138
val read_int : unit -> int
139
val read_float : unit -> float
150
val open_out : string -> out_channel
151
val open_out_bin : string -> out_channel
152
val open_out_gen : open_flag list -> int -> string -> out_channel
153
val flush : out_channel -> unit
154
val flush_all : unit -> unit
155
val output_char : out_channel -> char -> unit
156
val output_string : out_channel -> string -> unit
157
val output_bytes : out_channel -> bytes -> unit
158
val output : out_channel -> bytes -> int -> int -> unit
159
val output_substring : out_channel -> string -> int -> int -> unit
160
val output_byte : out_channel -> int -> unit
161
val output_binary_int : out_channel -> int -> unit
162
val output_value : out_channel -> 'a -> unit
163
val seek_out : out_channel -> int -> unit
164
val pos_out : out_channel -> int
165
val out_channel_length : out_channel -> int
166
val close_out : out_channel -> unit
167
val close_out_noerr : out_channel -> unit
168
val set_binary_mode_out : out_channel -> bool -> unit
169
val open_in : string -> in_channel
170
val open_in_bin : string -> in_channel
171
val open_in_gen : open_flag list -> int -> string -> in_channel
172
val input_char : in_channel -> char
173
val input_line : in_channel -> string
174
val input : in_channel -> bytes -> int -> int -> int
175
val really_input : in_channel -> bytes -> int -> int -> unit
176
val really_input_string : in_channel -> int -> string
177
val input_byte : in_channel -> int
178
val input_binary_int : in_channel -> int
179
val input_value : in_channel -> 'a
180
val seek_in : in_channel -> int -> unit
181
val pos_in : in_channel -> int
182
val in_channel_length : in_channel -> int
183
val close_in : in_channel -> unit
184
val close_in_noerr : in_channel -> unit
185
val set_binary_mode_in : in_channel -> bool -> unit
188
val seek_out : out_channel -> int64 -> unit
189
val pos_out : out_channel -> int64
190
val out_channel_length : out_channel -> int64
191
val seek_in : in_channel -> int64 -> unit
192
val pos_in : in_channel -> int64
193
val in_channel_length : in_channel -> int64
196
mutable contents: 'a }
197
external ref : 'a -> 'a ref = "%makemutable"
198
external (!) : 'a ref -> 'a = "%field0"
199
external (:=) : 'a ref -> 'a -> unit = "%setfield0"
200
external incr : int ref -> unit = "%incr"
201
external decr : int ref -> unit = "%decr"
202
type ('a, 'b, 'c, 'd, 'e, 'f) format6 =
203
('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6
204
type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6
205
type ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4
206
val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string
207
external format_of_string :
208
('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6 =
211
('a, 'b, 'c, 'd, 'e, 'f) format6 ->
212
('f, 'b, 'c, 'e, 'g, 'h) format6 -> ('a, 'b, 'c, 'd, 'g, 'h) format6
214
val at_exit : (unit -> unit) -> unit
215
val valid_float_lexem : string -> string
216
val unsafe_really_input : in_channel -> bytes -> int -> int -> unit
217
val do_at_exit : unit -> unit
added
removed
bundles/stdcompat/stdcompat-current/interfaces/4.02/pervasives.mli
