include module type of sig ... end with module Filename := Caml.Filename with module Int := Base.Int with module Int32 := Base.Int32 with module Int64 := Base.Int64 with module Map := Base.Map with module Marshal := Caml.Marshal with module Nativeint := Base.Nativeint
val raise_notrace : exn -> 'a
exception Exit
val (==) : 'a -> 'a -> boolval (!=) : 'a -> 'a -> 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 (~+) : int -> intval succ : int -> intval pred : int -> intval (mod) : int -> int -> int
val max_int : intval min_int : int
val (~+.) : 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 = Stdlib.fpclass = | FP_normal |
| FP_subnormal |
| FP_zero |
| FP_infinite |
| FP_nan |
val classify_float : float -> fpclassval int_of_char : char -> int
val char_of_int : int -> charval string_of_bool : bool -> stringval bool_of_string_opt : string -> bool optionval bool_of_string : string -> boolval string_of_int : int -> stringval int_of_string_opt : string -> int option
val int_of_string : string -> int
val string_of_float : float -> stringval float_of_string_opt : string -> float option
val float_of_string : string -> float
type nonrec in_channel = Stdlib.in_channeltype nonrec out_channel = Stdlib.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_opt : unit -> int optionval read_int : unit -> intval read_float_opt : unit -> float optionval read_float : unit -> float
type nonrec open_flag = Stdlib.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
module LargeFile = Stdlib.LargeFileval incr : int Stdlib.ref -> unitval decr : int Stdlib.ref -> unit
type nonrec ('a, 'b) result = ('a, 'b) Stdlib.result =
val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 -> string
val format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 -> ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6
val (^^) : ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6 -> ('f, 'b, 'c, 'e, 'g, 'h) Stdlib.format6 -> ('a, 'b, 'c, 'd, 'g, 'h) Stdlib.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 ArrayLabels = Stdlib.ArrayLabelsmodule BytesLabels = Stdlib.BytesLabelsmodule Callback = Stdlib.Callbackmodule Complex = Stdlib.Complexmodule Digest = Stdlib.Digestmodule Ephemeron = Stdlib.Ephemeronmodule Filename = Stdlib.Filenamemodule Genlex = Stdlib.Genlexmodule ListLabels = Stdlib.ListLabelsmodule Marshal = Stdlib.Marshalmodule MoreLabels = Stdlib.MoreLabelsmodule Parsing = Stdlib.Parsingmodule Pervasives = Stdlib.Pervasivesmodule Printexc = Stdlib.Printexcmodule Scanf = Stdlib.Scanfmodule Spacetime = Stdlib.Spacetimemodule StdLabels = Stdlib.StdLabelsmodule Stream = Stdlib.Streammodule StringLabels = Stdlib.StringLabelsmodule Weak = Stdlib.Weakexception Not_found
module Polymorphic_compare = Polymodule type T = sig ... endmodule type T1 = sig ... endmodule type T2 = sig ... endmodule type T3 = sig ... endval lazy_t_sexp_grammar : Base__Sexp.Private.Raw_grammar.t
type 'a array = 'a Array.t
val compare_array : ('a -> 'a -> int) -> 'a array -> 'a array -> intval equal_array : ('a -> 'a -> bool) -> 'a array -> 'a array -> boolval array_of_sexp : (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a arrayval sexp_of_array : ('a -> Base.Sexp.t) -> 'a array -> Base.Sexp.tval array_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type bool = Bool.t
val compare_bool : bool -> bool -> intval equal_bool : bool -> bool -> boolval hash_fold_bool : Base.Hash.state -> bool -> Base.Hash.stateval hash_bool : bool -> Base.Hash.hash_valueval bool_of_sexp : Base.Sexp.t -> boolval sexp_of_bool : bool -> Base.Sexp.tval bool_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type char = Char.t
val compare_char : char -> char -> intval equal_char : char -> char -> boolval hash_fold_char : Base.Hash.state -> char -> Base.Hash.stateval hash_char : char -> Base.Hash.hash_valueval char_of_sexp : Base.Sexp.t -> charval sexp_of_char : char -> Base.Sexp.tval char_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type exn = Exn.t
val sexp_of_exn : exn -> Base.Sexp.t
type float = Float.t
val compare_float : float -> float -> intval equal_float : float -> float -> boolval hash_fold_float : Base.Hash.state -> float -> Base.Hash.stateval hash_float : float -> Base.Hash.hash_valueval float_of_sexp : Base.Sexp.t -> floatval sexp_of_float : float -> Base.Sexp.tval float_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type int = Int.t
val compare_int : int -> int -> intval equal_int : int -> int -> boolval hash_fold_int : Base.Hash.state -> int -> Base.Hash.stateval hash_int : int -> Base.Hash.hash_valueval int_of_sexp : Base.Sexp.t -> intval sexp_of_int : int -> Base.Sexp.tval int_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type int32 = Int32.t
val compare_int32 : int32 -> int32 -> intval equal_int32 : int32 -> int32 -> boolval hash_fold_int32 : Base.Hash.state -> int32 -> Base.Hash.stateval hash_int32 : int32 -> Base.Hash.hash_valueval int32_of_sexp : Base.Sexp.t -> int32val sexp_of_int32 : int32 -> Base.Sexp.tval int32_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type int64 = Int64.t
val compare_int64 : int64 -> int64 -> intval equal_int64 : int64 -> int64 -> boolval hash_fold_int64 : Base.Hash.state -> int64 -> Base.Hash.stateval hash_int64 : int64 -> Base.Hash.hash_valueval int64_of_sexp : Base.Sexp.t -> int64val sexp_of_int64 : int64 -> Base.Sexp.tval int64_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type 'a list = 'a List.t
val compare_list : ('a -> 'a -> int) -> 'a list -> 'a list -> intval equal_list : ('a -> 'a -> bool) -> 'a list -> 'a list -> boolval hash_fold_list : (Base.Hash.state -> 'a -> Base.Hash.state) -> Base.Hash.state -> 'a list -> Base.Hash.stateval list_of_sexp : (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a listval sexp_of_list : ('a -> Base.Sexp.t) -> 'a list -> Base.Sexp.tval list_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type nativeint = Nativeint.t
val compare_nativeint : nativeint -> nativeint -> intval equal_nativeint : nativeint -> nativeint -> boolval hash_fold_nativeint : Base.Hash.state -> nativeint -> Base.Hash.stateval hash_nativeint : nativeint -> Base.Hash.hash_valueval nativeint_of_sexp : Base.Sexp.t -> nativeintval sexp_of_nativeint : nativeint -> Base.Sexp.tval nativeint_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type 'a option = 'a Option.t
val compare_option : ('a -> 'a -> int) -> 'a option -> 'a option -> intval equal_option : ('a -> 'a -> bool) -> 'a option -> 'a option -> boolval hash_fold_option : (Base.Hash.state -> 'a -> Base.Hash.state) -> Base.Hash.state -> 'a option -> Base.Hash.stateval option_of_sexp : (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a optionval sexp_of_option : ('a -> Base.Sexp.t) -> 'a option -> Base.Sexp.tval option_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type 'a ref = 'a Ref.t
val compare_ref : ('a -> 'a -> int) -> 'a ref -> 'a ref -> intval equal_ref : ('a -> 'a -> bool) -> 'a ref -> 'a ref -> boolval ref_of_sexp : (Base.Sexp.t -> 'a) -> Base.Sexp.t -> 'a refval sexp_of_ref : ('a -> Base.Sexp.t) -> 'a ref -> Base.Sexp.tval ref_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type string = String.t
val compare_string : string -> string -> intval equal_string : string -> string -> boolval hash_fold_string : Base.Hash.state -> string -> Base.Hash.stateval hash_string : string -> Base.Hash.hash_valueval string_of_sexp : Base.Sexp.t -> stringval sexp_of_string : string -> Base.Sexp.tval string_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type bytes = Bytes.t
val compare_bytes : bytes -> bytes -> intval equal_bytes : bytes -> bytes -> boolval bytes_of_sexp : Base.Sexp.t -> bytesval sexp_of_bytes : bytes -> Base.Sexp.tval bytes_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type unit = Unit.t
val compare_unit : unit -> unit -> intval equal_unit : unit -> unit -> boolval hash_fold_unit : Base.Hash.state -> unit -> Base.Hash.stateval hash_unit : unit -> Base.Hash.hash_valueval unit_of_sexp : Base.Sexp.t -> unitval sexp_of_unit : unit -> Base.Sexp.tval unit_sexp_grammar : Base.Sexp.Private.Raw_grammar.t
type nonrec ('a, 'b, 'c) format = ('a, 'b, 'c) Stdlib.formattype nonrec ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'd) Stdlib.format4type nonrec ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) Stdlib.format6type 'a sexp_array = 'a arraytype 'a sexp_list = 'a listtype 'a sexp_opaque = 'atype 'a sexp_option = 'a option
val (@) : 'a Base__List.t -> 'a Base__List.t -> 'a Base__List.tval (+) : Base__Int.t -> Base__Int.t -> Base__Int.tval (-) : Base__Int.t -> Base__Int.t -> Base__Int.tval (*) : Base__Int.t -> Base__Int.t -> Base__Int.tval (/) : Base__Int.t -> Base__Int.t -> Base__Int.tval (~-) : Base__Int.t -> Base__Int.tval (**) : Base__Int.t -> Base__Int.t -> Base__Int.tval abs : Base__Int.t -> Base__Int.tval neg : Base__Int.t -> Base__Int.tval zero : Base__Int.tval (%) : Base__Int.t -> Base__Int.t -> Base__Int.tval (/%) : Base__Int.t -> Base__Int.t -> Base__Int.tval (//) : Base__Int.t -> Base__Int.t -> floatval (land) : Base__Int.t -> Base__Int.t -> Base__Int.tval (lor) : Base__Int.t -> Base__Int.t -> Base__Int.tval (lxor) : Base__Int.t -> Base__Int.t -> Base__Int.tval (lnot) : Base__Int.t -> Base__Int.tval (lsl) : Base__Int.t -> int -> Base__Int.tval (asr) : Base__Int.t -> int -> Base__Int.tval (lsr) : Base__Int.t -> int -> Base__Int.tval (<) : int -> int -> boolval (<=) : int -> int -> boolval (<>) : int -> int -> boolval (=) : int -> int -> boolval (>) : int -> int -> boolval (>=) : int -> int -> boolval compare : int -> int -> intval ascending : int -> int -> intval descending : int -> int -> intval equal : int -> int -> boolval max : int -> int -> intval min : int -> int -> intval (+.) : Base__Float.t -> Base__Float.t -> Base__Float.tval (-.) : Base__Float.t -> Base__Float.t -> Base__Float.tval (*.) : Base__Float.t -> Base__Float.t -> Base__Float.tval (/.) : Base__Float.t -> Base__Float.t -> Base__Float.tval (**.) : Base__Float.t -> Base__Float.t -> Base__Float.tval (~-.) : Base__Float.t -> Base__Float.t
val (|>) : 'a -> ('a -> 'b) -> 'bval (@@) : ('a -> 'b) -> 'a -> 'bval (&&) : bool -> bool -> boolval (||) : bool -> bool -> boolval not : bool -> boolval ignore : 'a -> unit
val (^) : String.t -> String.t -> String.t
val (!) : 'a ref -> 'aval ref : 'a -> 'a refval (:=) : 'a ref -> 'a -> unit
val fst : ('a * 'b) -> 'aval snd : ('a * 'b) -> 'b
val raise : exn -> 'a
val failwith : string -> 'aval invalid_arg : string -> 'aval raise_s : Base.Sexp.t -> 'aval phys_equal : 'a -> 'a -> bool
val force : 'a Lazy.t -> 'a
exception Not_found_s of Sexplib0.Sexp.t
module Int32 : sig ... endmodule Int64 : sig ... endval (**) : float -> float -> floatval (@@) : ('a -> 'b) -> 'a -> 'bval (mod) : int -> int -> intval at_exit : (unit -> unit) -> unitval ceil : float -> floatval floor : float -> float
val concat : ?sep:String.t -> String.t list -> String.tval error_s : Base.Sexp.t -> 'a Or_error.tval fprintf : Out_channel.t -> ('a, Out_channel.t, Base.unit) Base.format -> 'aval ok_exn : 'a Or_error.t -> 'aval printf : ('a, Out_channel.t, Base.unit) Base.format -> 'aval sprintf : ('a, unit, string) Stdlib.format -> 'aval print_s : Sexplib0.Sexp.t -> Base.unit