package cbat-vsa

  1. Overview
  2. Docs
include module type of struct include Core_kernel.Std end
val raise : exn -> 'a
val raise_notrace : exn -> 'a
val invalid_arg : string -> 'a
val failwith : string -> 'a
exception Exit
val (=) : 'a -> 'a -> bool
val (<>) : 'a -> 'a -> bool
val (<) : 'a -> 'a -> bool
val (>) : 'a -> 'a -> bool
val (<=) : 'a -> 'a -> bool
val (>=) : 'a -> 'a -> bool
val compare : 'a -> 'a -> int
val min : 'a -> 'a -> 'a
val max : 'a -> 'a -> 'a
val (==) : 'a -> 'a -> bool
  • deprecated [since 2014-10] Use [phys_equal]
val (!=) : 'a -> 'a -> bool
  • deprecated [since 2014-10] Use [phys_equal]
val not : bool -> bool
val (&&) : bool -> bool -> bool
val (&) : bool -> bool -> bool
  • deprecated [since 2010-01] {!Pervasives.( && )} should be used instead.
val (||) : bool -> bool -> bool
val or : bool -> bool -> bool
  • deprecated [since 2010-01] {!Pervasives.( || )} should be used instead.
val __LOC__ : string
val __FILE__ : string
val __LINE__ : int
val __MODULE__ : string
val __POS__ : string * int * int * int
val __LOC_OF__ : 'a -> string * 'a
val __LINE_OF__ : 'a -> int * 'a
val __POS_OF__ : 'a -> (string * int * int * int) * 'a
val (|>) : 'a -> ('a -> 'b) -> 'b
val (@@) : ('a -> 'b) -> 'a -> 'b
val (~-) : int -> int
val (~+) : int -> int
val succ : int -> int
val pred : int -> int
val (+) : int -> int -> int
val (-) : int -> int -> int
val (*) : int -> int -> int
val (/) : int -> int -> int
val (mod) : int -> int -> int
val abs : int -> int
val max_int : int
  • deprecated [since 2014-10] Use [Int.max_value]
val min_int : int
  • deprecated [since 2014-10] Use [Int.min_value]
val (land) : int -> int -> int
val (lor) : int -> int -> int
val (lxor) : int -> int -> int
val lnot : int -> int
val (lsl) : int -> int -> int
val (lsr) : int -> int -> int
val (asr) : int -> int -> int
val (~-.) : float -> float
val (~+.) : float -> float
val (+.) : float -> float -> float
val (-.) : float -> float -> float
val (*.) : float -> float -> float
val (/.) : float -> float -> float
val (**) : float -> float -> float
val sqrt : float -> float
val exp : float -> float
val log : float -> float
val log10 : float -> float
  • deprecated [since 2016-07] Use [Float.log10]
val expm1 : float -> float
  • deprecated [since 2016-07] Use [Float.expm1]
val log1p : float -> float
  • deprecated [since 2016-07] Use [Float.log1p]
val cos : float -> float
  • deprecated [since 2016-07] Use [Float.cos]
val sin : float -> float
  • deprecated [since 2016-07] Use [Float.sin]
val tan : float -> float
  • deprecated [since 2016-07] Use [Float.tan]
val acos : float -> float
  • deprecated [since 2016-07] Use [Float.acos]
val asin : float -> float
  • deprecated [since 2016-07] Use [Float.asin]
val atan : float -> float
  • deprecated [since 2016-07] Use [Float.atan]
val atan2 : float -> float -> float
  • deprecated [since 2016-07] Use [Float.atan2]
val hypot : float -> float -> float
  • deprecated [since 2016-07] Use [Float.hypot]
val cosh : float -> float
  • deprecated [since 2016-07] Use [Float.cosh]
val sinh : float -> float
  • deprecated [since 2016-07] Use [Float.sinh]
val tanh : float -> float
  • deprecated [since 2016-07] Use [Float.tanh]
val ceil : float -> float
  • deprecated [since 2014-10] Use [Float.round_up]
val floor : float -> float
  • deprecated [since 2014-10] Use [Float.round_down]
val abs_float : float -> float
  • deprecated [since 2014-10] Use [Float.abs]
val copysign : float -> float -> float
  • deprecated [since 2016-07] Use [Float.copysign]
val mod_float : float -> float -> float
  • deprecated [since 2014-10] Use [Float.mod_float]
val frexp : float -> float * int
  • deprecated [since 2014-10] Use [Float.frexp]
val ldexp : float -> int -> float
  • deprecated [since 2014-10] Use [Float.ldexp]
val modf : float -> float * float
  • deprecated [since 2014-10] Use [Float.modf]
val float : int -> float
val float_of_int : int -> float
val truncate : float -> int
  • deprecated [since 2014-10] Use [Float.iround_towards_zero_exn]
val int_of_float : float -> int
val infinity : float
  • deprecated [since 2014-10] Use [Float.infinity]
val neg_infinity : float
  • deprecated [since 2014-10] Use [Float.neg_infinity]
val nan : float
  • deprecated [since 2014-10] Use [Float.nan]
val max_float : float
  • deprecated [since 2014-10] Use [Float.max_value]
val min_float : float
  • deprecated [since 2014-10] Use [Float.min_value]
val epsilon_float : float
  • deprecated [since 2014-10] Use [Float.epsilon_float]
type fpclass = Pervasives.fpclass =
  1. | FP_normal
  2. | FP_subnormal
  3. | FP_zero
  4. | FP_infinite
  5. | FP_nan
val classify_float : float -> fpclass
  • deprecated [since 2014-10] Use [Float.classify]
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 -> string
val bool_of_string : string -> bool
val string_of_int : int -> string
val int_of_string : string -> int
val string_of_float : float -> string
val float_of_string : string -> float
val fst : ('a * 'b) -> 'a
val snd : ('a * 'b) -> 'b
type in_channel = Pervasives.in_channel
  • deprecated [since 2016-04] Use [In_channel.t]
type out_channel = Pervasives.out_channel
  • deprecated [since 2016-04] Use [Out_channel.t]
val stdin : Pervasives.in_channel
  • deprecated [since 2016-04] Use [In_channel.stdin]
val stdout : Pervasives.out_channel
val stderr : Pervasives.out_channel
val print_char : char -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_char stdout]
val print_string : string -> unit
val print_bytes : bytes -> unit
  • deprecated [since 2016-04] Core doesn't support [bytes] yet.
val print_int : int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_string stdout]
val print_float : float -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_string stdout]
val print_endline : string -> unit
val print_newline : unit -> unit
  • deprecated [since 2016-04] Use [Out_channel.newline stdout]
val prerr_char : char -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_char stderr]
val prerr_string : string -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_string stderr]
val prerr_bytes : bytes -> unit
  • deprecated [since 2016-04] Core doesn't support [bytes] yet
val prerr_int : int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_string stderr]
val prerr_float : float -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_string stderr]
val prerr_endline : string -> unit
val prerr_newline : unit -> unit
  • deprecated [since 2016-04] Use [Out_channel.newline stderr]
val read_line : unit -> string
  • deprecated [since 2016-04] Use [Out_channel.(flush stdout); In_channel.(input_line_exn stdin)]
val read_int : unit -> int
  • deprecated [since 2016-04] Use [Out_channel.(flush stdout); Int.of_string In_channel.(input_line_exn stdin)]
val read_float : unit -> float
  • deprecated [since 2016-04] Use [Out_channel.(flush stdout); Float.of_string In_channel.(input_line_exn stdin)]
type open_flag = Pervasives.open_flag =
  1. | Open_rdonly
  2. | Open_wronly
  3. | Open_append
  4. | Open_creat
  5. | Open_trunc
  6. | Open_excl
  7. | Open_binary
  8. | Open_text
  9. | Open_nonblock
  • deprecated [since 2016-04] Use [In_channel.create] and [Out_channel.create]
val open_out : string -> Pervasives.out_channel
  • deprecated [since 2016-04] Use [Out_channel.create]
val open_out_bin : string -> Pervasives.out_channel
  • deprecated [since 2016-04] Use [Out_channel.create]
val open_out_gen : Pervasives.open_flag list -> int -> string -> Pervasives.out_channel
  • deprecated [since 2016-04] Use [Out_channel.create]
val flush : Pervasives.out_channel -> unit
  • deprecated [since 2016-04] Use [Out_channel.flush]
val flush_all : unit -> unit
  • deprecated [since 2016-04]
val output_char : Pervasives.out_channel -> char -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_char]
val output_string : Pervasives.out_channel -> string -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_string]
val output_bytes : Pervasives.out_channel -> bytes -> unit
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val output : Pervasives.out_channel -> bytes -> int -> int -> unit
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val output_substring : Pervasives.out_channel -> string -> int -> int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output]
val output_byte : Pervasives.out_channel -> int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_byte]
val output_binary_int : Pervasives.out_channel -> int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_binary_int]
val output_value : Pervasives.out_channel -> 'a -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_value]
val seek_out : Pervasives.out_channel -> int -> unit
  • deprecated [since 2014-10] Use [Out_channel.seek]
val pos_out : Pervasives.out_channel -> int
  • deprecated [since 2014-10] Use [Out_channel.pos]
val out_channel_length : Pervasives.out_channel -> int
  • deprecated [since 2014-10] Use [Out_channel.length]
val close_out : Pervasives.out_channel -> unit
  • deprecated [since 2014-10] Use [Out_channel.close]
val close_out_noerr : Pervasives.out_channel -> unit
  • deprecated [since 2016-04] Use [Out_channel.close] and catch exceptions
val set_binary_mode_out : Pervasives.out_channel -> bool -> unit
  • deprecated [since 2016-04] Use [Out_channel.set_binary_mode]
val open_in : string -> Pervasives.in_channel
  • deprecated [since 2016-04] Use [In_channel.create]
val open_in_bin : string -> Pervasives.in_channel
  • deprecated [since 2016-04] Use [In_channel.create]
val open_in_gen : Pervasives.open_flag list -> int -> string -> Pervasives.in_channel
  • deprecated [since 2016-04] Use [In_channel.create]
val input_char : Pervasives.in_channel -> char
  • deprecated [since 2016-04] Use [In_channel.input_char]
val input_line : Pervasives.in_channel -> string
  • deprecated [since 2016-04] Use [In_channel.input_line]
val input : Pervasives.in_channel -> bytes -> int -> int -> int
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val really_input : Pervasives.in_channel -> bytes -> int -> int -> unit
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val really_input_string : Pervasives.in_channel -> int -> string
  • deprecated [since 2016-04] Use [In_channel.really_input_exn ~pos:0]
val input_byte : Pervasives.in_channel -> int
  • deprecated [since 2016-04] Use [In_channel.input_byte]
val input_binary_int : Pervasives.in_channel -> int
  • deprecated [since 2016-04] Use [In_channel.input_binary_int]
val input_value : Pervasives.in_channel -> 'a
  • deprecated [since 2016-04] Use [In_channel.unsafe_input_value]
val seek_in : Pervasives.in_channel -> int -> unit
  • deprecated [since 2014-10] Use [In_channel.seek]
val pos_in : Pervasives.in_channel -> int
  • deprecated [since 2014-10] Use [In_channel.pos]
val in_channel_length : Pervasives.in_channel -> int
  • deprecated [since 2014-10] Use [In_channel.length]
val close_in : Pervasives.in_channel -> unit
  • deprecated [since 2014-10] Use [In_channel.close]
val close_in_noerr : Pervasives.in_channel -> unit
  • deprecated [since 2016-04] Use [In_channel.close] and catch exceptions
val set_binary_mode_in : Pervasives.in_channel -> bool -> unit
  • deprecated [since 2016-04] Use [In_channel.set_binary_mode]
module LargeFile : sig ... end
type !'a ref = 'a Pervasives.ref = {
  1. mutable contents : 'a;
}
val ref : 'a -> 'a ref
val (!) : 'a ref -> 'a
val (:=) : 'a ref -> 'a -> unit
val incr : int ref -> unit
val decr : int ref -> unit
type (!'a, !'b) result = ('a, 'b) Pervasives.result =
  1. | Ok of 'a
  2. | 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
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) format6
val exit : int -> 'a
val at_exit : (unit -> unit) -> unit
val valid_float_lexem : string -> string
  • deprecated [since 2015-11] Do not use.
val unsafe_really_input : Pervasives.in_channel -> bytes -> int -> int -> unit
  • deprecated [since 2015-11] Do not use.
val do_at_exit : unit -> unit
  • deprecated [since 2015-11] Do not use.
val (|!) : 'a -> ('a -> 'b) -> 'b
  • deprecated [since 2016-07] Use [ |> ]
type (!'f, !'s) _either = ('f, 's) Base__Either.t =
  1. | First of 'f
  2. | Second of 's
val (>=.) : Core_kernel__.Import.float -> Core_kernel__.Import.float -> bool
val (<=.) : Core_kernel__.Import.float -> Core_kernel__.Import.float -> bool
val (=.) : Core_kernel__.Import.float -> Core_kernel__.Import.float -> bool
val (>.) : Core_kernel__.Import.float -> Core_kernel__.Import.float -> bool
val (<.) : Core_kernel__.Import.float -> Core_kernel__.Import.float -> bool
val (<>.) : Core_kernel__.Import.float -> Core_kernel__.Import.float -> bool
val robustly_compare : Core_kernel__.Import.float -> Core_kernel__.Import.float -> int
type bigstring = Sexplib.Conv.bigstring
val bigstring_of_sexp : Sexplib.Sexp.t -> bigstring
val sexp_of_bigstring : bigstring -> Sexplib.Sexp.t
type mat = Sexplib.Conv.mat
val mat_of_sexp : Sexplib.Sexp.t -> mat
val sexp_of_mat : mat -> Sexplib.Sexp.t
type vec = Sexplib.Conv.vec
val vec_of_sexp : Sexplib.Sexp.t -> vec
val sexp_of_vec : vec -> Sexplib.Sexp.t
val sexp_of_opaque : 'a -> Core_kernel__Import.Sexp.t
val opaque_of_sexp : Core_kernel__Import.Sexp.t -> 'a
val sexp_of_pair : ('a -> Core_kernel__Import.Sexp.t) -> ('b -> Core_kernel__Import.Sexp.t) -> ('a * 'b) -> Core_kernel__Import.Sexp.t
val pair_of_sexp : (Core_kernel__Import.Sexp.t -> 'a) -> (Core_kernel__Import.Sexp.t -> 'b) -> Core_kernel__Import.Sexp.t -> 'a * 'b
exception Of_sexp_error of Core_kernel__Import.exn * Core_kernel__Import.Sexp.t
val of_sexp_error : Core_kernel__Import.string -> Core_kernel__Import.Sexp.t -> 'a
val of_sexp_error_exn : Core_kernel__Import.exn -> Core_kernel__Import.Sexp.t -> 'a
module type Applicative = sig ... end
module type Binable = sig ... end
module type Comparable = sig ... end
module type Comparable_binable = sig ... end
module type Floatable = sig ... end
module type Hashable = sig ... end
module type Hashable_binable = sig ... end
module type Identifiable = sig ... end
module type Infix_comparators = sig ... end
module type Intable = sig ... end
module type Monad = sig ... end
module type Quickcheckable = sig ... end
module type Robustly_comparable = sig ... end
module type Sexpable = sig ... end
module type Stable = sig ... end
module type Stable_int63able = sig ... end
module type Stable_without_comparator = sig ... end
module type Stable1 = sig ... end
module type Stable2 = sig ... end
module type Stable3 = sig ... end
module type Stable4 = sig ... end
module type Stringable = sig ... end
module type Unit = sig ... end
val (@) : 'a Base__List.t -> 'a Base__List.t -> 'a Base__List.t
type never_returns = Core_kernel__.Nothing.t
val sexp_of_never_returns : never_returns -> Sexplib.Sexp.t
val never_returns : Core_kernel__.Nothing.t -> 'a
type _ordering = Base__Ordering.t =
  1. | Less
  2. | Equal
  3. | Greater
type read = Core_kernel__Perms.Read.t
val bin_read : read Bin_prot.Type_class.t
val bin_read_read : read Bin_prot.Read.reader
val __bin_read_read__ : (Core_kernel__.Import.int -> read) Bin_prot.Read.reader
val bin_reader_read : read Bin_prot.Type_class.reader
val bin_size_read : read Bin_prot.Size.sizer
val bin_write_read : read Bin_prot.Write.writer
val bin_writer_read : read Bin_prot.Type_class.writer
val bin_shape_read : Bin_prot.Shape.t
val compare_read : read -> read -> Core_kernel__.Import.int
val hash_fold_read : Ppx_hash_lib.Std.Hash.state -> read -> Ppx_hash_lib.Std.Hash.state
val hash_read : read -> Ppx_hash_lib.Std.Hash.hash_value
val read_of_sexp : Sexplib.Sexp.t -> read
val sexp_of_read : read -> Sexplib.Sexp.t
type write = Core_kernel__Perms.Write.t
val compare_write : write -> write -> Core_kernel__.Import.int
val hash_fold_write : Ppx_hash_lib.Std.Hash.state -> write -> Ppx_hash_lib.Std.Hash.state
val hash_write : write -> Ppx_hash_lib.Std.Hash.hash_value
val write_of_sexp : Sexplib.Sexp.t -> write
val sexp_of_write : write -> Sexplib.Sexp.t
type immutable = Core_kernel__Perms.Immutable.t
val bin_immutable : immutable Bin_prot.Type_class.t
val bin_read_immutable : immutable Bin_prot.Read.reader
val __bin_read_immutable__ : (Core_kernel__.Import.int -> immutable) Bin_prot.Read.reader
val bin_reader_immutable : immutable Bin_prot.Type_class.reader
val bin_size_immutable : immutable Bin_prot.Size.sizer
val bin_write_immutable : immutable Bin_prot.Write.writer
val bin_writer_immutable : immutable Bin_prot.Type_class.writer
val bin_shape_immutable : Bin_prot.Shape.t
val compare_immutable : immutable -> immutable -> Core_kernel__.Import.int
val hash_fold_immutable : Ppx_hash_lib.Std.Hash.state -> immutable -> Ppx_hash_lib.Std.Hash.state
val hash_immutable : immutable -> Ppx_hash_lib.Std.Hash.hash_value
val immutable_of_sexp : Sexplib.Sexp.t -> immutable
val sexp_of_immutable : immutable -> Sexplib.Sexp.t
type read_write = Core_kernel__Perms.Read_write.t
val bin_read_write : read_write Bin_prot.Type_class.t
val bin_read_read_write : read_write Bin_prot.Read.reader
val __bin_read_read_write__ : (Core_kernel__.Import.int -> read_write) Bin_prot.Read.reader
val bin_reader_read_write : read_write Bin_prot.Type_class.reader
val bin_size_read_write : read_write Bin_prot.Size.sizer
val bin_write_read_write : read_write Bin_prot.Write.writer
val bin_writer_read_write : read_write Bin_prot.Type_class.writer
val bin_shape_read_write : Bin_prot.Shape.t
val compare_read_write : read_write -> read_write -> Core_kernel__.Import.int
val hash_fold_read_write : Ppx_hash_lib.Std.Hash.state -> read_write -> Ppx_hash_lib.Std.Hash.state
val hash_read_write : read_write -> Ppx_hash_lib.Std.Hash.hash_value
val read_write_of_sexp : Sexplib.Sexp.t -> read_write
val sexp_of_read_write : read_write -> Sexplib.Sexp.t
type !'a perms = 'a Core_kernel__Perms.Upper_bound.t
val bin_perms : 'a Bin_prot.Type_class.t -> 'a perms Bin_prot.Type_class.t
val bin_read_perms : 'a Bin_prot.Read.reader -> 'a perms Bin_prot.Read.reader
val __bin_read_perms__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a perms) Bin_prot.Read.reader
val bin_reader_perms : 'a Bin_prot.Type_class.reader -> 'a perms Bin_prot.Type_class.reader
val bin_size_perms : 'a Bin_prot.Size.sizer -> 'a perms Bin_prot.Size.sizer
val bin_write_perms : 'a Bin_prot.Write.writer -> 'a perms Bin_prot.Write.writer
val bin_writer_perms : 'a Bin_prot.Type_class.writer -> 'a perms Bin_prot.Type_class.writer
val bin_shape_perms : Bin_prot.Shape.t -> Bin_prot.Shape.t
val compare_perms : ('a -> 'a -> Core_kernel__.Import.int) -> 'a perms -> 'a perms -> Core_kernel__.Import.int
val hash_fold_perms : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a perms -> Ppx_hash_lib.Std.Hash.state
val perms_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a perms
val sexp_of_perms : ('a -> Sexplib.Sexp.t) -> 'a perms -> Sexplib.Sexp.t
type (!'ok, !'err) _result = ('ok, 'err) Base__Result.t =
  1. | Ok of 'ok
  2. | Error of 'err
val is_ok : ('a, 'b) Base__Result.t -> bool
val is_error : ('a, 'b) Base__Result.t -> bool
module Array : sig ... end
module Bool : sig ... end
module Char : sig ... end
module Comparator : sig ... end
module Exn = Base.Exn
module Field : sig ... end
module Hashtbl : sig ... end
module Int : sig ... end
module Int32 : sig ... end
module Int63 : sig ... end
module Int64 : sig ... end
module Lazy : sig ... end
module Linked_queue : sig ... end
module Map : sig ... end
module Nativeint : sig ... end
module Ordering : sig ... end
module Random : sig ... end
module Ref : sig ... end
module Result : sig ... end
module Set : sig ... end
module Sexp : sig ... end
module Staged = Base.Staged
module String : sig ... end
module Type_equal : sig ... end
module List : sig ... end
type !-'a return = private 'a Core_kernel__.Import.With_return.return = {
  1. return : 'b. 'a -> 'b;
}
exception Bug of Core_kernel__.Import.string
exception C_malloc_exn of Core_kernel__.Import.int * Core_kernel__.Import.int
exception Finally of Exn.t * Exn.t
val fst3 : ('a * 'b * 'c) -> 'a
val snd3 : ('a * 'b * 'c) -> 'b
val trd3 : ('a * 'b * 'c) -> 'c
val uw : 'a option -> 'a
val (%) : Int.t -> Int.t -> Int.t
val (/%) : Int.t -> Int.t -> Int.t
val (//) : Int.t -> Int.t -> float
val (==>) : bool -> bool -> bool
val bprintf : Buffer.t -> ('a, Buffer.t, unit) Pervasives.format -> 'a
val const : 'a -> 'b -> 'a
val eprintf : ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
val error_s : Base__.Sexp.t -> 'a Core_kernel__.Or_error.t
val failwithf : ('a, unit, string, unit -> 'b) Pervasives.format4 -> 'a
val failwithp : ?strict:Core_kernel__.Import.unit -> Lexing.position -> Core_kernel__.Import.string -> 'a -> ('a -> Core_kernel__.Import.Sexp.t) -> 'b
val failwiths : ?strict:Core_kernel__.Import.unit -> ?here:Lexing.position -> Core_kernel__.Import.string -> 'a -> ('a -> Core_kernel__.Import.Sexp.t) -> 'b
val force : 'a Base.Lazy.t -> 'a
val fprintf : Pervasives.out_channel -> ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
val ident : 'a -> 'a
val invalid_argf : ('a, unit, string, unit -> 'b) Pervasives.format4 -> 'a
val is_none : 'a Core_kernel__.Option.t -> bool
val is_some : 'a Core_kernel__.Option.t -> bool
val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) Pervasives.format4 -> 'b
val ok_exn : 'a Core_kernel__.Or_error.t -> 'a
val phys_equal : 'a -> 'a -> bool
val phys_same : 'a -> 'b -> bool
val printf : ('a, Pervasives.out_channel, unit) Pervasives.format -> 'a
val protect : f:(unit -> 'a) -> finally:(unit -> unit) -> 'a
val protectx : f:('a -> 'b) -> 'a -> finally:('a -> unit) -> 'b
val raise_s : Base__.Sexp.t -> 'a
val round : ?dir:[ `Down | `Nearest | `Up | `Zero ] -> Core_kernel__.Float.t -> Core_kernel__.Float.t
val sprintf : ('a, unit, string) Pervasives.format -> 'a
val stage : 'a -> 'a Staged.t
val unstage : 'a Staged.t -> 'a
val with_return : ('a Core_kernel__.Import.With_return.return -> 'a) -> 'a
val with_return_option : ('a Core_kernel__.Import.With_return.return -> unit) -> 'a option
module Typerep : sig ... end
type tuple0 = Typerep_lib__Std_internal.tuple0
val value_tuple0 : tuple0
val typerep_of_function : 'a Typerep.t -> 'b Typerep.t -> ('a -> 'b) Typerep.t
val typerep_of_tuple0 : tuple0 Typerep.t
val typerep_of_tuple2 : 'a Typerep.t -> 'b Typerep.t -> ('a * 'b) Typerep.t
val typerep_of_tuple3 : 'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> ('a * 'b * 'c) Typerep.t
val typerep_of_tuple4 : 'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> 'd Typerep.t -> ('a * 'b * 'c * 'd) Typerep.t
val typerep_of_tuple5 : 'a Typerep.t -> 'b Typerep.t -> 'c Typerep.t -> 'd Typerep.t -> 'e Typerep.t -> ('a * 'b * 'c * 'd * 'e) Typerep.t
val typename_of_function : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> ('a -> 'b) Typerep_lib.Typename.t
val typename_of_tuple0 : tuple0 Typerep_lib.Typename.t
val typename_of_tuple2 : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> ('a * 'b) Typerep_lib.Typename.t
val typename_of_tuple3 : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> 'c Typerep_lib.Typename.t -> ('a * 'b * 'c) Typerep_lib.Typename.t
val typename_of_tuple4 : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> 'c Typerep_lib.Typename.t -> 'd Typerep_lib.Typename.t -> ('a * 'b * 'c * 'd) Typerep_lib.Typename.t
val typename_of_tuple5 : 'a Typerep_lib.Typename.t -> 'b Typerep_lib.Typename.t -> 'c Typerep_lib.Typename.t -> 'd Typerep_lib.Typename.t -> 'e Typerep_lib.Typename.t -> ('a * 'b * 'c * 'd * 'e) Typerep_lib.Typename.t
val bin_array : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.array Bin_prot.Type_class.t
val bin_read_array : 'a Bin_prot.Read.reader -> 'a Core_kernel__.Import.array Bin_prot.Read.reader
val __bin_read_array__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a Core_kernel__.Import.array) Bin_prot.Read.reader
val bin_reader_array : 'a Bin_prot.Type_class.reader -> 'a Core_kernel__.Import.array Bin_prot.Type_class.reader
val bin_size_array : 'a Bin_prot.Size.sizer -> 'a Core_kernel__.Import.array Bin_prot.Size.sizer
val bin_write_array : 'a Bin_prot.Write.writer -> 'a Core_kernel__.Import.array Bin_prot.Write.writer
val bin_writer_array : 'a Bin_prot.Type_class.writer -> 'a Core_kernel__.Import.array Bin_prot.Type_class.writer
val bin_shape_array : Bin_prot.Shape.t -> Bin_prot.Shape.t
val compare_array : ('a -> 'a -> Core_kernel__.Import.int) -> 'a Core_kernel__.Import.array -> 'a Core_kernel__.Import.array -> Core_kernel__.Import.int
val array_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Core_kernel__.Import.array
val sexp_of_array : ('a -> Sexplib.Sexp.t) -> 'a Core_kernel__.Import.array -> Sexplib.Sexp.t
val typerep_of_array : 'a Typerep_lib.Std.Typerep.t -> 'a Core_kernel__.Import.array Typerep_lib.Std.Typerep.t
val typename_of_array : 'a Typerep_lib.Std.Typename.t -> 'a Core_kernel__.Import.array Typerep_lib.Std.Typename.t
val bin_bool : Core_kernel__.Import.bool Bin_prot.Type_class.t
val bin_read_bool : Core_kernel__.Import.bool Bin_prot.Read.reader
val __bin_read_bool__ : (Core_kernel__.Import.int -> Core_kernel__.Import.bool) Bin_prot.Read.reader
val bin_reader_bool : Core_kernel__.Import.bool Bin_prot.Type_class.reader
val bin_size_bool : Core_kernel__.Import.bool Bin_prot.Size.sizer
val bin_write_bool : Core_kernel__.Import.bool Bin_prot.Write.writer
val bin_writer_bool : Core_kernel__.Import.bool Bin_prot.Type_class.writer
val bin_shape_bool : Bin_prot.Shape.t
val compare_bool : Core_kernel__.Import.bool -> Core_kernel__.Import.bool -> Core_kernel__.Import.int
val hash_fold_bool : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.bool -> Ppx_hash_lib.Std.Hash.state
val hash_bool : Core_kernel__.Import.bool -> Ppx_hash_lib.Std.Hash.hash_value
val bool_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.bool
val sexp_of_bool : Core_kernel__.Import.bool -> Sexplib.Sexp.t
val typerep_of_bool : Core_kernel__.Import.bool Typerep_lib.Std.Typerep.t
val typename_of_bool : Core_kernel__.Import.bool Typerep_lib.Std.Typename.t
val bin_char : Core_kernel__.Import.char Bin_prot.Type_class.t
val bin_read_char : Core_kernel__.Import.char Bin_prot.Read.reader
val __bin_read_char__ : (Core_kernel__.Import.int -> Core_kernel__.Import.char) Bin_prot.Read.reader
val bin_reader_char : Core_kernel__.Import.char Bin_prot.Type_class.reader
val bin_size_char : Core_kernel__.Import.char Bin_prot.Size.sizer
val bin_write_char : Core_kernel__.Import.char Bin_prot.Write.writer
val bin_writer_char : Core_kernel__.Import.char Bin_prot.Type_class.writer
val bin_shape_char : Bin_prot.Shape.t
val compare_char : Core_kernel__.Import.char -> Core_kernel__.Import.char -> Core_kernel__.Import.int
val hash_fold_char : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.char -> Ppx_hash_lib.Std.Hash.state
val hash_char : Core_kernel__.Import.char -> Ppx_hash_lib.Std.Hash.hash_value
val char_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.char
val sexp_of_char : Core_kernel__.Import.char -> Sexplib.Sexp.t
val typerep_of_char : Core_kernel__.Import.char Typerep_lib.Std.Typerep.t
val typename_of_char : Core_kernel__.Import.char Typerep_lib.Std.Typename.t
val bin_float : Core_kernel__.Import.float Bin_prot.Type_class.t
val bin_read_float : Core_kernel__.Import.float Bin_prot.Read.reader
val __bin_read_float__ : (Core_kernel__.Import.int -> Core_kernel__.Import.float) Bin_prot.Read.reader
val bin_reader_float : Core_kernel__.Import.float Bin_prot.Type_class.reader
val bin_size_float : Core_kernel__.Import.float Bin_prot.Size.sizer
val bin_write_float : Core_kernel__.Import.float Bin_prot.Write.writer
val bin_writer_float : Core_kernel__.Import.float Bin_prot.Type_class.writer
val bin_shape_float : Bin_prot.Shape.t
val compare_float : Core_kernel__.Import.float -> Core_kernel__.Import.float -> Core_kernel__.Import.int
val hash_fold_float : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.float -> Ppx_hash_lib.Std.Hash.state
val hash_float : Core_kernel__.Import.float -> Ppx_hash_lib.Std.Hash.hash_value
val float_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.float
val sexp_of_float : Core_kernel__.Import.float -> Sexplib.Sexp.t
val typerep_of_float : Core_kernel__.Import.float Typerep_lib.Std.Typerep.t
val typename_of_float : Core_kernel__.Import.float Typerep_lib.Std.Typename.t
val bin_int : Core_kernel__.Import.int Bin_prot.Type_class.t
val bin_read_int : Core_kernel__.Import.int Bin_prot.Read.reader
val __bin_read_int__ : (Core_kernel__.Import.int -> Core_kernel__.Import.int) Bin_prot.Read.reader
val bin_reader_int : Core_kernel__.Import.int Bin_prot.Type_class.reader
val bin_size_int : Core_kernel__.Import.int Bin_prot.Size.sizer
val bin_write_int : Core_kernel__.Import.int Bin_prot.Write.writer
val bin_writer_int : Core_kernel__.Import.int Bin_prot.Type_class.writer
val bin_shape_int : Bin_prot.Shape.t
val compare_int : Core_kernel__.Import.int -> Core_kernel__.Import.int -> Core_kernel__.Import.int
val hash_fold_int : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.int -> Ppx_hash_lib.Std.Hash.state
val hash_int : Core_kernel__.Import.int -> Ppx_hash_lib.Std.Hash.hash_value
val int_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.int
val sexp_of_int : Core_kernel__.Import.int -> Sexplib.Sexp.t
val typerep_of_int : Core_kernel__.Import.int Typerep_lib.Std.Typerep.t
val typename_of_int : Core_kernel__.Import.int Typerep_lib.Std.Typename.t
val bin_int32 : Core_kernel__.Import.int32 Bin_prot.Type_class.t
val bin_read_int32 : Core_kernel__.Import.int32 Bin_prot.Read.reader
val __bin_read_int32__ : (Core_kernel__.Import.int -> Core_kernel__.Import.int32) Bin_prot.Read.reader
val bin_reader_int32 : Core_kernel__.Import.int32 Bin_prot.Type_class.reader
val bin_size_int32 : Core_kernel__.Import.int32 Bin_prot.Size.sizer
val bin_write_int32 : Core_kernel__.Import.int32 Bin_prot.Write.writer
val bin_writer_int32 : Core_kernel__.Import.int32 Bin_prot.Type_class.writer
val bin_shape_int32 : Bin_prot.Shape.t
val compare_int32 : Core_kernel__.Import.int32 -> Core_kernel__.Import.int32 -> Core_kernel__.Import.int
val hash_fold_int32 : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.int32 -> Ppx_hash_lib.Std.Hash.state
val hash_int32 : Core_kernel__.Import.int32 -> Ppx_hash_lib.Std.Hash.hash_value
val int32_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.int32
val sexp_of_int32 : Core_kernel__.Import.int32 -> Sexplib.Sexp.t
val typerep_of_int32 : Core_kernel__.Import.int32 Typerep_lib.Std.Typerep.t
val typename_of_int32 : Core_kernel__.Import.int32 Typerep_lib.Std.Typename.t
val bin_int64 : Core_kernel__.Import.int64 Bin_prot.Type_class.t
val bin_read_int64 : Core_kernel__.Import.int64 Bin_prot.Read.reader
val __bin_read_int64__ : (Core_kernel__.Import.int -> Core_kernel__.Import.int64) Bin_prot.Read.reader
val bin_reader_int64 : Core_kernel__.Import.int64 Bin_prot.Type_class.reader
val bin_size_int64 : Core_kernel__.Import.int64 Bin_prot.Size.sizer
val bin_write_int64 : Core_kernel__.Import.int64 Bin_prot.Write.writer
val bin_writer_int64 : Core_kernel__.Import.int64 Bin_prot.Type_class.writer
val bin_shape_int64 : Bin_prot.Shape.t
val compare_int64 : Core_kernel__.Import.int64 -> Core_kernel__.Import.int64 -> Core_kernel__.Import.int
val hash_fold_int64 : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.int64 -> Ppx_hash_lib.Std.Hash.state
val hash_int64 : Core_kernel__.Import.int64 -> Ppx_hash_lib.Std.Hash.hash_value
val int64_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.int64
val sexp_of_int64 : Core_kernel__.Import.int64 -> Sexplib.Sexp.t
val typerep_of_int64 : Core_kernel__.Import.int64 Typerep_lib.Std.Typerep.t
val typename_of_int64 : Core_kernel__.Import.int64 Typerep_lib.Std.Typename.t
val bin_lazy_t : 'a Bin_prot.Type_class.t -> 'a lazy_t Bin_prot.Type_class.t
val bin_read_lazy_t : 'a Bin_prot.Read.reader -> 'a lazy_t Bin_prot.Read.reader
val __bin_read_lazy_t__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a lazy_t) Bin_prot.Read.reader
val bin_reader_lazy_t : 'a Bin_prot.Type_class.reader -> 'a lazy_t Bin_prot.Type_class.reader
val bin_size_lazy_t : 'a Bin_prot.Size.sizer -> 'a lazy_t Bin_prot.Size.sizer
val bin_write_lazy_t : 'a Bin_prot.Write.writer -> 'a lazy_t Bin_prot.Write.writer
val bin_writer_lazy_t : 'a Bin_prot.Type_class.writer -> 'a lazy_t Bin_prot.Type_class.writer
val bin_shape_lazy_t : Bin_prot.Shape.t -> Bin_prot.Shape.t
val compare_lazy_t : ('a -> 'a -> Core_kernel__.Import.int) -> 'a lazy_t -> 'a lazy_t -> Core_kernel__.Import.int
val hash_fold_lazy_t : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a lazy_t -> Ppx_hash_lib.Std.Hash.state
val lazy_t_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a lazy_t
val sexp_of_lazy_t : ('a -> Sexplib.Sexp.t) -> 'a lazy_t -> Sexplib.Sexp.t
val typerep_of_lazy_t : 'a Typerep_lib.Std.Typerep.t -> 'a lazy_t Typerep_lib.Std.Typerep.t
val typename_of_lazy_t : 'a Typerep_lib.Std.Typename.t -> 'a lazy_t Typerep_lib.Std.Typename.t
val bin_list : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.list Bin_prot.Type_class.t
val bin_read_list : 'a Bin_prot.Read.reader -> 'a Core_kernel__.Import.list Bin_prot.Read.reader
val __bin_read_list__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a Core_kernel__.Import.list) Bin_prot.Read.reader
val bin_reader_list : 'a Bin_prot.Type_class.reader -> 'a Core_kernel__.Import.list Bin_prot.Type_class.reader
val bin_size_list : 'a Bin_prot.Size.sizer -> 'a Core_kernel__.Import.list Bin_prot.Size.sizer
val bin_write_list : 'a Bin_prot.Write.writer -> 'a Core_kernel__.Import.list Bin_prot.Write.writer
val bin_writer_list : 'a Bin_prot.Type_class.writer -> 'a Core_kernel__.Import.list Bin_prot.Type_class.writer
val bin_shape_list : Bin_prot.Shape.t -> Bin_prot.Shape.t
val compare_list : ('a -> 'a -> Core_kernel__.Import.int) -> 'a Core_kernel__.Import.list -> 'a Core_kernel__.Import.list -> Core_kernel__.Import.int
val hash_fold_list : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a Core_kernel__.Import.list -> Ppx_hash_lib.Std.Hash.state
val list_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Core_kernel__.Import.list
val sexp_of_list : ('a -> Sexplib.Sexp.t) -> 'a Core_kernel__.Import.list -> Sexplib.Sexp.t
val typerep_of_list : 'a Typerep_lib.Std.Typerep.t -> 'a Core_kernel__.Import.list Typerep_lib.Std.Typerep.t
val typename_of_list : 'a Typerep_lib.Std.Typename.t -> 'a Core_kernel__.Import.list Typerep_lib.Std.Typename.t
val bin_nativeint : Core_kernel__.Import.nativeint Bin_prot.Type_class.t
val bin_read_nativeint : Core_kernel__.Import.nativeint Bin_prot.Read.reader
val __bin_read_nativeint__ : (Core_kernel__.Import.int -> Core_kernel__.Import.nativeint) Bin_prot.Read.reader
val bin_reader_nativeint : Core_kernel__.Import.nativeint Bin_prot.Type_class.reader
val bin_size_nativeint : Core_kernel__.Import.nativeint Bin_prot.Size.sizer
val bin_write_nativeint : Core_kernel__.Import.nativeint Bin_prot.Write.writer
val bin_writer_nativeint : Core_kernel__.Import.nativeint Bin_prot.Type_class.writer
val bin_shape_nativeint : Bin_prot.Shape.t
val compare_nativeint : Core_kernel__.Import.nativeint -> Core_kernel__.Import.nativeint -> Core_kernel__.Import.int
val hash_fold_nativeint : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.nativeint -> Ppx_hash_lib.Std.Hash.state
val hash_nativeint : Core_kernel__.Import.nativeint -> Ppx_hash_lib.Std.Hash.hash_value
val nativeint_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.nativeint
val sexp_of_nativeint : Core_kernel__.Import.nativeint -> Sexplib.Sexp.t
val typerep_of_nativeint : Core_kernel__.Import.nativeint Typerep_lib.Std.Typerep.t
val typename_of_nativeint : Core_kernel__.Import.nativeint Typerep_lib.Std.Typename.t
val bin_option : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.option Bin_prot.Type_class.t
val bin_read_option : 'a Bin_prot.Read.reader -> 'a Core_kernel__.Import.option Bin_prot.Read.reader
val __bin_read_option__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a Core_kernel__.Import.option) Bin_prot.Read.reader
val bin_reader_option : 'a Bin_prot.Type_class.reader -> 'a Core_kernel__.Import.option Bin_prot.Type_class.reader
val bin_size_option : 'a Bin_prot.Size.sizer -> 'a Core_kernel__.Import.option Bin_prot.Size.sizer
val bin_write_option : 'a Bin_prot.Write.writer -> 'a Core_kernel__.Import.option Bin_prot.Write.writer
val bin_writer_option : 'a Bin_prot.Type_class.writer -> 'a Core_kernel__.Import.option Bin_prot.Type_class.writer
val bin_shape_option : Bin_prot.Shape.t -> Bin_prot.Shape.t
val compare_option : ('a -> 'a -> Core_kernel__.Import.int) -> 'a Core_kernel__.Import.option -> 'a Core_kernel__.Import.option -> Core_kernel__.Import.int
val hash_fold_option : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a Core_kernel__.Import.option -> Ppx_hash_lib.Std.Hash.state
val option_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Core_kernel__.Import.option
val sexp_of_option : ('a -> Sexplib.Sexp.t) -> 'a Core_kernel__.Import.option -> Sexplib.Sexp.t
val typerep_of_option : 'a Typerep_lib.Std.Typerep.t -> 'a Core_kernel__.Import.option Typerep_lib.Std.Typerep.t
val typename_of_option : 'a Typerep_lib.Std.Typename.t -> 'a Core_kernel__.Import.option Typerep_lib.Std.Typename.t
val bin_string : Core_kernel__.Import.string Bin_prot.Type_class.t
val bin_read_string : Core_kernel__.Import.string Bin_prot.Read.reader
val __bin_read_string__ : (Core_kernel__.Import.int -> Core_kernel__.Import.string) Bin_prot.Read.reader
val bin_reader_string : Core_kernel__.Import.string Bin_prot.Type_class.reader
val bin_size_string : Core_kernel__.Import.string Bin_prot.Size.sizer
val bin_write_string : Core_kernel__.Import.string Bin_prot.Write.writer
val bin_writer_string : Core_kernel__.Import.string Bin_prot.Type_class.writer
val bin_shape_string : Bin_prot.Shape.t
val compare_string : Core_kernel__.Import.string -> Core_kernel__.Import.string -> Core_kernel__.Import.int
val hash_fold_string : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.string -> Ppx_hash_lib.Std.Hash.state
val hash_string : Core_kernel__.Import.string -> Ppx_hash_lib.Std.Hash.hash_value
val string_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.string
val sexp_of_string : Core_kernel__.Import.string -> Sexplib.Sexp.t
val typerep_of_string : Core_kernel__.Import.string Typerep_lib.Std.Typerep.t
val typename_of_string : Core_kernel__.Import.string Typerep_lib.Std.Typename.t
val bin_ref : 'a Bin_prot.Type_class.t -> 'a ref Bin_prot.Type_class.t
val bin_read_ref : 'a Bin_prot.Read.reader -> 'a ref Bin_prot.Read.reader
val __bin_read_ref__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a ref) Bin_prot.Read.reader
val bin_reader_ref : 'a Bin_prot.Type_class.reader -> 'a ref Bin_prot.Type_class.reader
val bin_size_ref : 'a Bin_prot.Size.sizer -> 'a ref Bin_prot.Size.sizer
val bin_write_ref : 'a Bin_prot.Write.writer -> 'a ref Bin_prot.Write.writer
val bin_writer_ref : 'a Bin_prot.Type_class.writer -> 'a ref Bin_prot.Type_class.writer
val bin_shape_ref : Bin_prot.Shape.t -> Bin_prot.Shape.t
val compare_ref : ('a -> 'a -> Core_kernel__.Import.int) -> 'a ref -> 'a ref -> Core_kernel__.Import.int
val ref_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a ref
val sexp_of_ref : ('a -> Sexplib.Sexp.t) -> 'a ref -> Sexplib.Sexp.t
val typerep_of_ref : 'a Typerep_lib.Std.Typerep.t -> 'a ref Typerep_lib.Std.Typerep.t
val typename_of_ref : 'a Typerep_lib.Std.Typename.t -> 'a ref Typerep_lib.Std.Typename.t
val bin_unit : Core_kernel__.Import.unit Bin_prot.Type_class.t
val bin_read_unit : Core_kernel__.Import.unit Bin_prot.Read.reader
val __bin_read_unit__ : (Core_kernel__.Import.int -> Core_kernel__.Import.unit) Bin_prot.Read.reader
val bin_reader_unit : Core_kernel__.Import.unit Bin_prot.Type_class.reader
val bin_size_unit : Core_kernel__.Import.unit Bin_prot.Size.sizer
val bin_write_unit : Core_kernel__.Import.unit Bin_prot.Write.writer
val bin_writer_unit : Core_kernel__.Import.unit Bin_prot.Type_class.writer
val bin_shape_unit : Bin_prot.Shape.t
val compare_unit : Core_kernel__.Import.unit -> Core_kernel__.Import.unit -> Core_kernel__.Import.int
val hash_fold_unit : Ppx_hash_lib.Std.Hash.state -> Core_kernel__.Import.unit -> Ppx_hash_lib.Std.Hash.state
val hash_unit : Core_kernel__.Import.unit -> Ppx_hash_lib.Std.Hash.hash_value
val unit_of_sexp : Sexplib.Sexp.t -> Core_kernel__.Import.unit
val sexp_of_unit : Core_kernel__.Import.unit -> Sexplib.Sexp.t
val typerep_of_unit : Core_kernel__.Import.unit Typerep_lib.Std.Typerep.t
val typename_of_unit : Core_kernel__.Import.unit Typerep_lib.Std.Typename.t
type float_array = Core_kernel__.Import.float Core_kernel__.Import.array
val bin_float_array : float_array Bin_prot.Type_class.t
val bin_read_float_array : float_array Bin_prot.Read.reader
val __bin_read_float_array__ : (Core_kernel__.Import.int -> float_array) Bin_prot.Read.reader
val bin_reader_float_array : float_array Bin_prot.Type_class.reader
val bin_size_float_array : float_array Bin_prot.Size.sizer
val bin_write_float_array : float_array Bin_prot.Write.writer
val bin_writer_float_array : float_array Bin_prot.Type_class.writer
val bin_shape_float_array : Bin_prot.Shape.t
val compare_float_array : float_array -> float_array -> Core_kernel__.Import.int
val float_array_of_sexp : Sexplib.Sexp.t -> float_array
val sexp_of_float_array : float_array -> Sexplib.Sexp.t
val typerep_of_float_array : float_array Typerep_lib.Std.Typerep.t
val typename_of_float_array : float_array Typerep_lib.Std.Typename.t
val sexp_of_exn : Exn.t -> Base__.Sexplib.Sexp.t
type !'a sexp_array = 'a Core_kernel__.Import.array
val bin_shape_sexp_array : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_array : 'a Bin_prot.Size.sizer -> 'a Core_kernel__.Import.array -> int
val bin_write_sexp_array : 'a Bin_prot.Write.writer -> Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> 'a Core_kernel__.Import.array -> Bin_prot.Common.pos
val bin_writer_sexp_array : 'a Bin_prot.Type_class.writer -> 'a Core_kernel__.Import.array Bin_prot.Type_class.writer
val __bin_read_sexp_array__ : 'a Bin_prot.Read.reader -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> Core_kernel__.Import.int -> 'a Core_kernel__.Import.array
val bin_read_sexp_array : 'a Bin_prot.Read.reader -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> 'a Core_kernel__.Import.array
val bin_reader_sexp_array : 'a Bin_prot.Type_class.reader -> 'a Core_kernel__.Import.array Bin_prot.Type_class.reader
val bin_sexp_array : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.array Bin_prot.Type_class.t
val compare_sexp_array : ('a -> 'a -> Core_kernel__.Import.int) -> 'a sexp_array -> 'a sexp_array -> Core_kernel__.Import.int
module Typename_of_sexp_array : sig ... end
val typename_of_sexp_array : 'a Typerep_lib.Typename.t -> 'a sexp_array Typerep_lib.Typename.t
val typerep_of_sexp_array : 'a Typerep_lib.Std.Typerep.t -> 'a sexp_array Typerep_lib.Std.Typerep.t
type sexp_bool = Core_kernel__.Import.bool
val bin_shape_sexp_bool : Bin_prot.Shape.t
val bin_size_sexp_bool : Core_kernel__.Import.bool Bin_prot.Size.sizer
val bin_write_sexp_bool : Core_kernel__.Import.bool Bin_prot.Write.writer
val bin_writer_sexp_bool : Core_kernel__.Import.bool Bin_prot.Type_class.writer
val __bin_read_sexp_bool__ : (Core_kernel__.Import.int -> Core_kernel__.Import.bool) Bin_prot.Read.reader
val bin_read_sexp_bool : Core_kernel__.Import.bool Bin_prot.Read.reader
val bin_reader_sexp_bool : Core_kernel__.Import.bool Bin_prot.Type_class.reader
val bin_sexp_bool : Core_kernel__.Import.bool Bin_prot.Type_class.t
val compare_sexp_bool : sexp_bool -> sexp_bool -> Core_kernel__.Import.int
val hash_fold_sexp_bool : Ppx_hash_lib.Std.Hash.state -> sexp_bool -> Ppx_hash_lib.Std.Hash.state
val hash_sexp_bool : sexp_bool -> Ppx_hash_lib.Std.Hash.hash_value
module Typename_of_sexp_bool : sig ... end
val typename_of_sexp_bool : sexp_bool Typerep_lib.Typename.t
val typerep_of_sexp_bool : sexp_bool Typerep_lib.Std.Typerep.t
type !'a sexp_list = 'a Core_kernel__.Import.list
val bin_shape_sexp_list : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_list : 'a Bin_prot.Size.sizer -> 'a Core_kernel__.Import.list -> int
val bin_write_sexp_list : 'a Bin_prot.Write.writer -> Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> 'a Core_kernel__.Import.list -> Bin_prot.Common.pos
val bin_writer_sexp_list : 'a Bin_prot.Type_class.writer -> 'a Core_kernel__.Import.list Bin_prot.Type_class.writer
val __bin_read_sexp_list__ : 'a Bin_prot.Read.reader -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> Core_kernel__.Import.int -> 'a Core_kernel__.Import.list
val bin_read_sexp_list : 'a Bin_prot.Read.reader -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> 'a Core_kernel__.Import.list
val bin_reader_sexp_list : 'a Bin_prot.Type_class.reader -> 'a Core_kernel__.Import.list Bin_prot.Type_class.reader
val bin_sexp_list : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.list Bin_prot.Type_class.t
val compare_sexp_list : ('a -> 'a -> Core_kernel__.Import.int) -> 'a sexp_list -> 'a sexp_list -> Core_kernel__.Import.int
val hash_fold_sexp_list : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a sexp_list -> Ppx_hash_lib.Std.Hash.state
module Typename_of_sexp_list : sig ... end
val typename_of_sexp_list : 'a Typerep_lib.Typename.t -> 'a sexp_list Typerep_lib.Typename.t
val typerep_of_sexp_list : 'a Typerep_lib.Std.Typerep.t -> 'a sexp_list Typerep_lib.Std.Typerep.t
type !'a sexp_option = 'a Core_kernel__.Import.option
val bin_shape_sexp_option : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_option : 'a Bin_prot.Size.sizer -> 'a Core_kernel__.Import.option -> int
val bin_write_sexp_option : 'a Bin_prot.Write.writer -> Bin_prot.Common.buf -> pos:Bin_prot.Common.pos -> 'a Core_kernel__.Import.option -> Bin_prot.Common.pos
val bin_writer_sexp_option : 'a Bin_prot.Type_class.writer -> 'a Core_kernel__.Import.option Bin_prot.Type_class.writer
val __bin_read_sexp_option__ : 'a Bin_prot.Read.reader -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> Core_kernel__.Import.int -> 'a Core_kernel__.Import.option
val bin_read_sexp_option : 'a Bin_prot.Read.reader -> Bin_prot.Common.buf -> pos_ref:Bin_prot.Common.pos_ref -> 'a Core_kernel__.Import.option
val bin_reader_sexp_option : 'a Bin_prot.Type_class.reader -> 'a Core_kernel__.Import.option Bin_prot.Type_class.reader
val bin_sexp_option : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.option Bin_prot.Type_class.t
val compare_sexp_option : ('a -> 'a -> Core_kernel__.Import.int) -> 'a sexp_option -> 'a sexp_option -> Core_kernel__.Import.int
val hash_fold_sexp_option : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a sexp_option -> Ppx_hash_lib.Std.Hash.state
module Typename_of_sexp_option : sig ... end
val typename_of_sexp_option : 'a Typerep_lib.Typename.t -> 'a sexp_option Typerep_lib.Typename.t
val typerep_of_sexp_option : 'a Typerep_lib.Std.Typerep.t -> 'a sexp_option Typerep_lib.Std.Typerep.t
type !'a sexp_opaque = 'a
val bin_shape_sexp_opaque : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_opaque : 'a -> 'a
val bin_write_sexp_opaque : 'a -> 'a
val bin_writer_sexp_opaque : 'a Bin_prot.Type_class.writer -> 'a Bin_prot.Type_class.writer
val __bin_read_sexp_opaque__ : 'a -> 'b -> pos_ref:Bin_prot.Common.pos ref -> 'c -> 'd
val bin_read_sexp_opaque : 'a -> 'a
val bin_reader_sexp_opaque : 'a Bin_prot.Type_class.reader -> 'a Bin_prot.Type_class.reader
val bin_sexp_opaque : 'a Bin_prot.Type_class.t -> 'a Bin_prot.Type_class.t
val compare_sexp_opaque : ('a -> 'a -> Core_kernel__.Import.int) -> 'a sexp_opaque -> 'a sexp_opaque -> Core_kernel__.Import.int
val hash_fold_sexp_opaque : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a sexp_opaque -> Ppx_hash_lib.Std.Hash.state
module Typename_of_sexp_opaque : sig ... end
val typename_of_sexp_opaque : 'a Typerep_lib.Typename.t -> 'a sexp_opaque Typerep_lib.Typename.t
val typerep_of_sexp_opaque : 'a Typerep_lib.Std.Typerep.t -> 'a sexp_opaque Typerep_lib.Std.Typerep.t
module Applicative : sig ... end
module Arg : sig ... end
module Avltree : sig ... end
module Backtrace : sig ... end
module Bag : sig ... end
module Bigsubstring : sig ... end
module Bin_prot : sig ... end
module Binable : sig ... end
module Binary_packing : sig ... end
module Binary_searchable : sig ... end
module Blang : sig ... end
module Blit : sig ... end
module Bounded_index : sig ... end
module Bounded_int_table : sig ... end
module Bucket : sig ... end
module Bus : sig ... end
module Bytes : sig ... end
module Byte_units : sig ... end
module Commutative_group : sig ... end
module Comparable : sig ... end
module Container : sig ... end
module Day_of_week : sig ... end
module Debug : sig ... end
module Deque : sig ... end
module Deriving_hash : sig ... end
module Doubly_linked : sig ... end
module Either : sig ... end
module Ephemeron : sig ... end
module Equal : sig ... end
module Error : sig ... end
module Expect_test_config = Expect_test_config
module Fdeque : sig ... end
module Fheap : sig ... end
module Flags : sig ... end
module Float : sig ... end
module Float_with_finite_only_serialization : sig ... end
module Floatable : sig ... end
module Fn : sig ... end
module Force_once : sig ... end
module Fqueue : sig ... end
module Gc : sig ... end
module Hash : sig ... end
module Hash_heap : sig ... end
module Hash_queue : sig ... end
module Hash_set : sig ... end
module Hashable : sig ... end
module Hashtbl_intf : sig ... end
module Heap : sig ... end
module Heap_block : sig ... end
module Hexdump : sig ... end
module Host_and_port : sig ... end
module Identifiable : sig ... end
module Immediate_option : sig ... end
module In_channel : sig ... end
module Info : sig ... end
module Int_conversions = Base.Not_exposed_properly.Int_conversions
module Int_intf : sig ... end
module Int_set : sig ... end
module Interfaces : sig ... end
module Invariant : sig ... end
module Limiter : sig ... end
module Linked_stack : sig ... end
module Maybe_bound : sig ... end
module Memo : sig ... end
module Monad : sig ... end
module Month : sig ... end
module Moption : sig ... end
module No_polymorphic_compare : sig ... end
module Nothing : sig ... end
module Only_in_test : sig ... end
module Option : sig ... end
module Option_array : sig ... end
module Ordered_collection_common : sig ... end
module Or_error : sig ... end
module Out_channel : sig ... end
module Percent : sig ... end
module Pid : sig ... end
module Poly : sig ... end
module Polymorphic_compare : sig ... end
module Pool : sig ... end
module Pooled_hashtbl : sig ... end
module Pretty_printer : sig ... end
module Printexc : sig ... end
module Printf : sig ... end
module Queue : sig ... end
module Quickcheck : sig ... end
module Quickcheckable : sig ... end
module Robustly_comparable : sig ... end
module Rope : sig ... end
module Sequence : sig ... end
module Set_once : sig ... end
module Sexp_maybe : sig ... end
module Sexpable : sig ... end
module Sign : sig ... end
module Source_code_position : sig ... end
module Splittable_random : sig ... end
module Stable_unit_test : sig ... end
module Stack : sig ... end
module String_id : sig ... end
module Stringable : sig ... end
module Substring : sig ... end
module Substring_intf : sig ... end
module Thread_safe_queue : sig ... end
module Timing_wheel_ns : sig ... end
module Total_map : sig ... end
module Tuple : sig ... end
module Tuple2 = Tuple.T2
module Tuple3 = Tuple.T3
module Type_immediacy : sig ... end
module Uniform_array : sig ... end
module Union_find : sig ... end
module Unique_id : sig ... end
module Unit : sig ... end
module Unit_of_time : sig ... end
module Univ : sig ... end
module Univ_map : sig ... end
module Unpack_buffer : sig ... end
module Validate : sig ... end
module Validated : sig ... end
module Weak : sig ... end
module Weak_pointer : sig ... end
module With_return : sig ... end
module Word_size : sig ... end
module type Unique_id = Unique_id.Id
module type T = sig ... end
module type T1 = sig ... end
module type T2 = sig ... end
module type T3 = sig ... end
module type T_bin = sig ... end
type !'a _maybe_bound = 'a Maybe_bound.t =
  1. | Incl of 'a
  2. | Excl of 'a
  3. | Unbounded
val does_raise : (unit -> 'a) -> bool
type bytes = [
  1. | `This_type_does_not_equal_string_because_we_want_type_errors_to_say_string
]
val am_running_inline_test : bool
val sec : Core_kernel__.Import.float -> Core_kernel__.Time_float.Span.t
module Bigbuffer : sig ... end
module Bigstring : sig ... end
module Bigstring_marshal : sig ... end
module Caml = Caml
module Date : sig ... end
module Time : sig ... end
module Time_ns : sig ... end
module Version_util : sig ... end
module Container_intf : sig ... end
module Core_hashtbl_intf : sig ... end
module Core_kernel_stable : sig ... end
module Core_map_intf : sig ... end
module Core_set_intf : sig ... end
module Int_replace_polymorphic_compare : sig ... end
module Obj_array : sig ... end
module Perms : sig ... end
module Polymorphic_compare_intf : sig ... end
module Stack_intf : sig ... end
module Timing_wheel_ns_intf : sig ... end
module Core_kernel_private = Core_kernel.Std.Core_kernel_private
include sig ... end
val name : string
val version : string
val doc : string
val argv : string array
val debug : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val info : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val warning : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val error : ('a, Format.formatter, unit) Core_kernel.Std.format -> 'a
val debug_formatter : Format.formatter
val info_formatter : Format.formatter
val warning_formatter : Format.formatter
val error_formatter : Format.formatter
val report_progress : ?task:string -> ?note:string -> ?stage:int -> ?total:int -> unit -> unit
module Config : sig ... end
include module type of struct include Cbat_vsa_utils end
exception NotImplemented of string
val fail_on_not_implemented : bool Pervasives.ref
val not_implemented : ?top:'a -> string -> 'a
val unsound_assume_memory_alignment : bool Pervasives.ref
val unsound_stack : bool Pervasives.ref
val max_edge_explosion : int Pervasives.ref
val fin_set_size : int Pervasives.ref
val cdiv : int -> int -> int
val exn_on_err : ('a, Bap.Std.Type.error) Core_kernel.Std.Result.t -> 'a
val rotate_list : 'a list -> 'a list
module Utils = Cbat_vsa_utils
module Vsa = Cbat_vsa
val main : string option -> bool -> bool -> bool -> Bap.Std.project -> Bap.Std.project
module Cmdline : sig ... end
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct