5.6   Module ml: basic types and functions from Ocaml pervasives

NB: by contrast with the Objective Caml module "Pervasives", this module is not open by default.

type 'a list
type 'a array
type ('a,'b) pair
type ('a,'b) fun
type 'a ref
type unit
type char
type float
type in_channel
type out_channel
external compare : <'a * 'a> -> <int>
external min : <'a * 'a> -> <'a>
external max : <'a * 'a> -> <'a>
external not : <bool> -> <bool>
external abs : <int> -> <int>
external +. : <float * float> -> <float>
external -. : <float * float> -> <float>
external /. : <float * float> -> <float>
external *. : <float * float> -> <float>
external ** : <float * float> -> <float>
external exp : <float> -> <float>
external log : <float> -> <float>
external sqrt : <float> -> <float>
external sin : <float> -> <float>
external cos : <float> -> <float>
external tan : <float> -> <float>
external asin : <float> -> <float>
external acos : <float> -> <float>
external atan : <float> -> <float>
external abs_float : <float> -> <float>
external float : <int> -> <float>
external truncate : <float> -> <int>
external string_of_bool : <bool> -> <string>
external string_of_int : <int> -> <string>
external int_of_string : <string> -> <int>
external string_of_float : <float> -> <string>
external float_of_string : <string> -> <float>
external ref : <'a> -> <'a ref>
external set_ref : <'a ref * 'a> -> <>
external get_ref : <'a ref> -> <'a>
external stdin : in_channel
external stdout : out_channel
external stderr : out_channel
external print_char : <char> -> <>
external print_string : <string> -> <>
external print_int : <int> -> <>
external print_float : <float> -> <>
external print_endline : <string> -> <>
external prerr_char : <char> -> <>
external prerr_string : <string> -> <>
external prerr_int : <int> -> <>
external prerr_float : <float> -> <>
external prerr_endline : <string> -> <>
external prerr_newline : <> -> <>
external read_line : <> -> <string>
external read_int : <> -> <int>
external read_float : <> -> <float>
external open_out : <string> -> <out_channel>
external flush : <out_channel> -> <>
external output_char : <out_channel * char> -> <>
external output_string : <out_channel * string> -> <>
external output : <out_channel * string * int * int> -> <>
external output_byte : <out_channel * int> -> <>
external output_value : <out_channel * 'a> -> <>
external seek_out : <out_channel * int> -> <>
external pos_out : <out_channel> -> <int>
external out_channel_length : <out_channel> -> <int>
external close_out : <out_channel> -> <>
external open_in : <string> -> <in_channel>
external open_in_bin : <string> -> <in_channel>
external input_char : <in_channel> -> <char>
external input_line : <in_channel> -> <string>
external input : <in_channel * string * int * int> -> <int>
external really_input : <in_channel * string * int * int> -> <>
external input_byte : <in_channel> -> <int>
external input_value : <in_channel> -> <'a>
external seek_in : <in_channel * int> -> <>
external pos_in : <in_channel> -> <int>
external in_channel_length : <in_channel> -> <int>
external close_in : <in_channel> -> <>