Module Base__Import0
include module type of sig ... end with type 'a ref := 'a Stdlib.ref with type ('a, 'b, 'c) format := ('a, 'b, 'c) Stdlib.format with type ('a, 'b, 'c, 'd) format4 := ('a, 'b, 'c, 'd) Stdlib.format4 with type ('a, 'b, 'c, 'd, 'e, 'f) format6 := ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 with module Pervasives := Stdlib.Pervasives with module Array := Caml.Array with module Buffer := Caml.Buffer with module Bytes := Caml.Bytes with module Char := Caml.Char with module Float := Caml.Float 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 Queue := Caml.Queue with module Random := Caml.Random with module Set := Caml.Set with module Stack := Caml.Stack with module String := Caml.String with module Sys := Caml.Sys with module Uchar := Caml.Uchar
module Pervasives = Stdlib.Pervasivesval raise : exn -> 'aval raise_notrace : exn -> 'a
val invalid_arg : string -> 'aval failwith : string -> 'a
exception Exit
val (=) : 'a -> 'a -> boolval (<>) : 'a -> 'a -> boolval (<) : 'a -> 'a -> boolval (>) : 'a -> 'a -> boolval (<=) : 'a -> 'a -> boolval (>=) : 'a -> 'a -> boolval compare : 'a -> 'a -> int
val min : 'a -> 'a -> 'aval max : 'a -> 'a -> 'a
val (==) : 'a -> 'a -> boolval (!=) : 'a -> 'a -> boolval not : bool -> boolval (&&) : bool -> bool -> boolval (&) : bool -> bool -> boolval (||) : bool -> bool -> boolval or : bool -> bool -> boolval __LOC__ : stringval __FILE__ : stringval __LINE__ : intval __MODULE__ : stringval __POS__ : string * int * int * intval __LOC_OF__ : 'a -> string * 'aval __LINE_OF__ : 'a -> int * 'aval __POS_OF__ : 'a -> (string * int * int * int) * 'aval (|>) : 'a -> ('a -> 'b) -> 'bval (@@) : ('a -> 'b) -> 'a -> 'bval (~-) : int -> intval (~+) : int -> intval succ : int -> intval pred : int -> intval (+) : int -> int -> intval (-) : int -> int -> intval (*) : int -> int -> intval (/) : int -> int -> intval (mod) : int -> int -> int
val abs : int -> intval max_int : intval min_int : int
val (land) : int -> int -> intval (lor) : int -> int -> intval (lxor) : int -> int -> int
val (lnot) : int -> int
val (lsl) : int -> int -> intval (lsr) : int -> int -> intval (asr) : int -> int -> intval (~-.) : float -> floatval (~+.) : float -> floatval (+.) : float -> float -> floatval (-.) : float -> float -> floatval (*.) : float -> float -> floatval (/.) : float -> float -> floatval (**) : float -> float -> floatval sqrt : float -> floatval exp : float -> floatval log : float -> floatval log10 : float -> floatval expm1 : float -> floatval log1p : float -> floatval cos : float -> floatval sin : float -> floatval tan : float -> floatval acos : float -> floatval asin : float -> floatval atan : float -> floatval atan2 : float -> float -> floatval hypot : float -> float -> floatval cosh : float -> floatval sinh : float -> floatval tanh : float -> floatval ceil : float -> floatval floor : float -> floatval abs_float : float -> floatval copysign : float -> float -> floatval mod_float : float -> float -> floatval frexp : float -> float * intval ldexp : float -> int -> floatval modf : float -> float * floatval float : int -> floatval float_of_int : int -> floatval truncate : float -> intval int_of_float : float -> int
val infinity : floatval neg_infinity : floatval nan : floatval max_float : floatval min_float : floatval epsilon_float : float
type nonrec fpclass = Pervasives.fpclass = | FP_normal |
| FP_subnormal |
| FP_zero |
| FP_infinite |
| FP_nan |
val classify_float : float -> fpclass
val (^) : string -> string -> string
val int_of_char : char -> int
val char_of_int : int -> char
val ignore : 'a -> unit
val string_of_bool : bool -> stringval bool_of_string : string -> boolval bool_of_string_opt : string -> bool optionval string_of_int : int -> string
val int_of_string : string -> int
val int_of_string_opt : string -> int optionval string_of_float : float -> string
val float_of_string : string -> float
val float_of_string_opt : string -> float option
val fst : ('a * 'b) -> 'aval snd : ('a * 'b) -> 'b
val (@) : 'a list -> 'a list -> 'a list
type nonrec in_channel = Pervasives.in_channeltype nonrec out_channel = Pervasives.out_channel
val stdin : in_channelval stdout : out_channelval stderr : out_channelval print_char : char -> unitval print_string : string -> unitval print_bytes : bytes -> unitval print_int : int -> unitval print_float : float -> unitval print_endline : string -> unitval print_newline : unit -> unitval prerr_char : char -> unitval prerr_string : string -> unitval prerr_bytes : bytes -> unitval prerr_int : int -> unitval prerr_float : float -> unitval prerr_endline : string -> unitval prerr_newline : unit -> unitval read_line : unit -> stringval read_int : unit -> intval read_int_opt : unit -> int optionval read_float : unit -> floatval read_float_opt : unit -> float option
type nonrec 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_channelval open_out_bin : string -> out_channelval open_out_gen : open_flag list -> int -> string -> out_channelval flush : out_channel -> unitval flush_all : unit -> unitval output_char : out_channel -> char -> unitval output_string : out_channel -> string -> unitval output_bytes : out_channel -> bytes -> unitval output : out_channel -> bytes -> int -> int -> unitval output_substring : out_channel -> string -> int -> int -> unitval output_byte : out_channel -> int -> unitval output_binary_int : out_channel -> int -> unitval output_value : out_channel -> 'a -> unitval seek_out : out_channel -> int -> unitval pos_out : out_channel -> intval out_channel_length : out_channel -> intval close_out : out_channel -> unitval close_out_noerr : out_channel -> unitval set_binary_mode_out : out_channel -> bool -> unitval open_in : string -> in_channelval open_in_bin : string -> in_channelval open_in_gen : open_flag list -> int -> string -> in_channelval input_char : in_channel -> charval input_line : in_channel -> stringval input : in_channel -> bytes -> int -> int -> intval really_input : in_channel -> bytes -> int -> int -> unitval really_input_string : in_channel -> int -> stringval input_byte : in_channel -> intval input_binary_int : in_channel -> intval input_value : in_channel -> 'aval seek_in : in_channel -> int -> unitval pos_in : in_channel -> intval in_channel_length : in_channel -> intval close_in : in_channel -> unitval close_in_noerr : in_channel -> unitval set_binary_mode_in : in_channel -> bool -> unit
type nonrec 'a ref = 'a Pervasives.ref = {}
val ref : 'a -> 'a refval (!) : 'a ref -> 'aval (:=) : 'a ref -> 'a -> unitval incr : int ref -> unitval decr : int ref -> unit
type nonrec ('a, 'b) result = ('a, 'b) Pervasives.result = type nonrec ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6type nonrec ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6type nonrec ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4
val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> string
val format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('a, 'b, 'c, 'd, 'e, 'f) format6
val (^^) : ('a, 'b, 'c, 'd, 'e, 'f) format6 -> ('f, 'b, 'c, 'e, 'g, 'h) format6 -> ('a, 'b, 'c, 'd, 'g, 'h) format6val exit : int -> 'aval at_exit : (unit -> unit) -> unitval valid_float_lexem : string -> stringval unsafe_really_input : in_channel -> bytes -> int -> int -> unitval do_at_exit : unit -> unit
module Array = Stdlib.Arraymodule ArrayLabels = Stdlib.ArrayLabelsmodule Buffer = Stdlib.Buffermodule Bytes = Stdlib.Bytesmodule BytesLabels = Stdlib.BytesLabelsmodule Callback = Stdlib.Callbackmodule Char = Stdlib.Charmodule Complex = Stdlib.Complexmodule Digest = Stdlib.Digestmodule Ephemeron = Stdlib.Ephemeronmodule Filename = Stdlib.Filenamemodule Float = Stdlib.Floatmodule Genlex = Stdlib.Genlexmodule Hashtbl = Stdlib.Hashtblmodule Int32 = Stdlib.Int32module Int64 = Stdlib.Int64module Lazy = Stdlib.Lazymodule Lexing = Stdlib.Lexingmodule List = Stdlib.Listmodule ListLabels = Stdlib.ListLabelsmodule Marshal = Stdlib.Marshalmodule MoreLabels = Stdlib.MoreLabelsmodule Nativeint = Stdlib.Nativeintmodule Parsing = Stdlib.Parsingmodule Printexc = Stdlib.Printexcmodule Printf = Stdlib.Printfmodule Queue = Stdlib.Queuemodule Random = Stdlib.Randommodule Scanf = Stdlib.Scanfmodule Sort = Stdlib.Sortmodule Spacetime = Stdlib.Spacetimemodule Stack = Stdlib.Stackmodule StdLabels = Stdlib.StdLabelsmodule Stream = Stdlib.Streammodule String = Stdlib.Stringmodule StringLabels = Stdlib.StringLabelsmodule Uchar = Stdlib.Ucharmodule Weak = Stdlib.Weakexception Not_found
type 'a ref = 'a Caml.ref = {}
module Caml : sig ... endval (|>) : 'a -> ('a -> 'b) -> 'bval (&&) : bool -> bool -> boolval (||) : bool -> bool -> boolval not : bool -> boolval ignore : _ -> unit
val (!=) : 'a -> 'a -> boolval (*) : int -> int -> intval (**) : float -> float -> floatval (*.) : float -> float -> floatval (+) : int -> int -> intval (+.) : float -> float -> floatval (-) : int -> int -> intval (-.) : float -> float -> floatval (/) : int -> int -> intval (/.) : float -> float -> float
module Poly = Base__.Poly0
include Int_replace_polymorphic_compare
val (<) : int -> int -> boolval (<=) : int -> int -> boolval (<>) : int -> int -> boolval (=) : int -> int -> boolval (>) : int -> int -> boolval (>=) : int -> int -> boolval ascending : int -> int -> intval descending : int -> int -> intval compare : int -> int -> intval equal : int -> int -> boolval max : int -> int -> intval min : int -> int -> int
val (:=) : 'a ref -> 'a -> unitval (!) : 'a ref -> 'aval ref : 'a -> 'a ref
val (@) : 'a list -> 'a list -> 'a listval (^) : string -> string -> stringval (~-) : int -> intval (~-.) : float -> floatval (asr) : int -> int -> intval (land) : int -> int -> intval (lnot) : int -> intval (lor) : int -> int -> intval (lsl) : int -> int -> intval (lsr) : int -> int -> intval (lxor) : int -> int -> intval (mod) : int -> int -> intval abs : int -> intval failwith : string -> 'aval fst : ('a * 'b) -> 'aval invalid_arg : string -> 'aval snd : ('a * 'b) -> 'b
val raise : exn -> _
val phys_equal : 'a -> 'a -> boolval decr : int Caml.ref -> unitval incr : int Caml.ref -> unitval float_of_string : string -> float
val am_testing : unit -> bool
val am_testing : bool