package core-and-more

  1. Overview
  2. Docs
package core-and-more
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module CoreAndMoreSource

include module type of struct include Core_kernel end
module Applicative : sig ... end
module Arg : sig ... end
module Array : sig ... end
module Avltree : sig ... end
module Backtrace : sig ... end
module Bag : sig ... end
module Bigbuffer : sig ... end
module Bigstring : sig ... end
module Bigsubstring : sig ... end
module Bin_prot : sig ... end
module Binable : sig ... end
module Binary_searchable : sig ... end
module Blang : sig ... end
module Blit : sig ... end
module Bool : sig ... end
module Bounded_index : sig ... end
module Buffer = Base.Buffer
module Byte_units : sig ... end
module Bytes : sig ... end
module Caml = Caml
module Char : sig ... end
module Command : sig ... end
module Comparable : sig ... end
module Comparator : sig ... end
module Comparisons : sig ... end
module Container : sig ... end
module Container_intf : sig ... end
module Continue_or_stop : sig ... end
module Core_kernel_stable : sig ... end
module Date : sig ... end
module Day_of_week : sig ... end
module Debug : sig ... end
module Deque : sig ... end
module Deriving_hash : sig ... end
module Digest : sig ... end
module Doubly_linked : sig ... end
module Either : sig ... end
module Ephemeron : sig ... end
module Equal : sig ... end
module Error : sig ... end
module Exn = Base.Exn
module Expect_test_config = Expect_test_config
module Fdeque : sig ... end
module Field : sig ... end
module Filename : sig ... end
module Float : sig ... end
module Float_with_finite_only_serialization : sig ... end
module Floatable : sig ... end
module Fn : sig ... end
module Formatter : sig ... end
module Fqueue : sig ... end
module Gc : sig ... end
module Hash : sig ... end
module Hash_queue : sig ... end
module Hash_set : sig ... end
module Hashable : sig ... end
module Hashtbl : sig ... end
module Hashtbl_intf : sig ... end
module Heap_block : sig ... end
module Hexdump : sig ... end
module Hexdump_intf : sig ... end
module Host_and_port : sig ... end
module Identifiable : sig ... end
module Immediate_option : sig ... end
module Immediate_option_intf : sig ... end
module In_channel : sig ... end
module Info : sig ... end
module Int : sig ... end
module Int32 : sig ... end
module Int63 : sig ... end
module Int64 : sig ... end
module Int_conversions : sig ... end
module Int_intf : sig ... end
module Int_math : sig ... end
module Intable : sig ... end
module Interfaces : sig ... end
module Invariant : sig ... end
module Lazy : sig ... end
module Linked_queue : sig ... end
module List : sig ... end
module Map : sig ... end
module Map_intf : sig ... end
module Maybe_bound : sig ... end
module Md5 : sig ... end
module Memo : sig ... end
module Monad : sig ... end
module Month : sig ... end
module Nativeint : 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 Optional_syntax : sig ... end
module Optional_syntax_intf : sig ... end
module Or_error : sig ... end
module Ordered_collection_common : sig ... end
module Ordering : sig ... end
module Out_channel : sig ... end
module Percent : sig ... end
module Perms : sig ... end
module Pid : sig ... end
module Poly : sig ... end
module Polymorphic_compare = Poly
module Popcount = Base.Popcount
module Pretty_printer : sig ... end
module Printexc : sig ... end
module Printf : sig ... end
module Queue : sig ... end
module Quickcheck : sig ... end
module Quickcheck_intf : sig ... end
module Quickcheckable : sig ... end
module Random = Base.Random
module Ref : sig ... end
module Result : sig ... end
module Robustly_comparable : sig ... end
module Sequence : sig ... end
module Set : sig ... end
module Set_intf : sig ... end
module Set_once : sig ... end
module Sexp_maybe : sig ... end
module Sexp : sig ... end
module Sexpable : sig ... end
module Sign : sig ... end
module Sign_or_nan : sig ... end
module Source_code_position : sig ... end
module Splittable_random = Splittable_random
module Stable_comparable : sig ... end
module Stable_unit_test : sig ... end
module Stack : sig ... end
module Staged = Base.Staged
module String : sig ... end
module String_id : sig ... end
module Stringable : sig ... end
module Substring : sig ... end
module Substring_intf : sig ... end
module Sys = Sys
module Time : sig ... end
module Time_ns : sig ... end
module Tuple : sig ... end
module Tuple2 = Tuple.T2
module Tuple3 = Tuple.T3
module Type_equal : sig ... end
module Type_immediacy : sig ... end
module Uchar : 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_map : sig ... end
module Unix = Core_kernel.Unix
module Validate : sig ... end
module Validated : sig ... end
module Variant : sig ... end
module Weak = Weak
module With_return : sig ... end
module Word_size : sig ... end
module type Unique_id = Core_kernel.Unique_id
module type T = Core_kernel.T
module type T1 = Core_kernel.T1
module type T2 = Core_kernel.T2
module type T3 = Core_kernel.T3
module type T_bin = Core_kernel.T_bin
val raise : exn -> 'a
val raise_notrace : exn -> 'a
val invalid_arg : string -> 'a
val failwith : string -> 'a
exception Exit
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] {!Caml.( && )} should be used instead.
val (||) : bool -> bool -> bool
val (or) : bool -> bool -> bool
  • deprecated [since 2010-01] {!Caml.( || )} 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 = Caml.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 = Caml.in_channel
  • deprecated [since 2016-04] Use [In_channel.t]
type out_channel = Caml.out_channel
  • deprecated [since 2016-04] Use [Out_channel.t]
val stdin : Caml.in_channel
  • deprecated [since 2016-04] Use [In_channel.stdin]
val stdout : Caml.out_channel
val stderr : Caml.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 = Caml.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 -> Caml.out_channel
  • deprecated [since 2016-04] Use [Out_channel.create]
val open_out_bin : string -> Caml.out_channel
  • deprecated [since 2016-04] Use [Out_channel.create]
val open_out_gen : Caml.open_flag list -> int -> string -> Caml.out_channel
  • deprecated [since 2016-04] Use [Out_channel.create]
val flush : Caml.out_channel -> unit
  • deprecated [since 2016-04] Use [Out_channel.flush]
val flush_all : unit -> unit
  • deprecated [since 2016-04]
val output_char : Caml.out_channel -> char -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_char]
val output_string : Caml.out_channel -> string -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_string]
val output_bytes : Caml.out_channel -> bytes -> unit
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val output : Caml.out_channel -> bytes -> int -> int -> unit
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val output_substring : Caml.out_channel -> string -> int -> int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output]
val output_byte : Caml.out_channel -> int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_byte]
val output_binary_int : Caml.out_channel -> int -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_binary_int]
val output_value : Caml.out_channel -> 'a -> unit
  • deprecated [since 2016-04] Use [Out_channel.output_value]
val seek_out : Caml.out_channel -> int -> unit
  • deprecated [since 2014-10] Use [Out_channel.seek]
val pos_out : Caml.out_channel -> int
  • deprecated [since 2014-10] Use [Out_channel.pos]
val out_channel_length : Caml.out_channel -> int
  • deprecated [since 2014-10] Use [Out_channel.length]
val close_out : Caml.out_channel -> unit
  • deprecated [since 2014-10] Use [Out_channel.close]
val close_out_noerr : Caml.out_channel -> unit
  • deprecated [since 2016-04] Use [Out_channel.close] and catch exceptions
val set_binary_mode_out : Caml.out_channel -> bool -> unit
  • deprecated [since 2016-04] Use [Out_channel.set_binary_mode]
val open_in : string -> Caml.in_channel
  • deprecated [since 2016-04] Use [In_channel.create]
val open_in_bin : string -> Caml.in_channel
  • deprecated [since 2016-04] Use [In_channel.create]
val open_in_gen : Caml.open_flag list -> int -> string -> Caml.in_channel
  • deprecated [since 2016-04] Use [In_channel.create]
val input_char : Caml.in_channel -> char
  • deprecated [since 2016-04] Use [In_channel.input_char]
val input_line : Caml.in_channel -> string
  • deprecated [since 2016-04] Use [In_channel.input_line]
val input : Caml.in_channel -> bytes -> int -> int -> int
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val really_input : Caml.in_channel -> bytes -> int -> int -> unit
  • deprecated [since 2016-04] Core doesn't yet support bytes.
val really_input_string : Caml.in_channel -> int -> string
  • deprecated [since 2016-04] Use [In_channel.really_input_exn ~pos:0]
val input_byte : Caml.in_channel -> int
  • deprecated [since 2016-04] Use [In_channel.input_byte]
val input_binary_int : Caml.in_channel -> int
  • deprecated [since 2016-04] Use [In_channel.input_binary_int]
val input_value : Caml.in_channel -> 'a
  • deprecated [since 2016-04] Use [In_channel.unsafe_input_value]
val seek_in : Caml.in_channel -> int -> unit
  • deprecated [since 2014-10] Use [In_channel.seek]
val pos_in : Caml.in_channel -> int
  • deprecated [since 2014-10] Use [In_channel.pos]
val in_channel_length : Caml.in_channel -> int
  • deprecated [since 2014-10] Use [In_channel.length]
val close_in : Caml.in_channel -> unit
  • deprecated [since 2014-10] Use [In_channel.close]
val close_in_noerr : Caml.in_channel -> unit
  • deprecated [since 2016-04] Use [In_channel.close] and catch exceptions
val set_binary_mode_in : Caml.in_channel -> bool -> unit
  • deprecated [since 2016-04] Use [In_channel.set_binary_mode]
module LargeFile : sig ... end
type !'a ref = 'a Caml.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) Caml.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 : Caml.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 (>=) : Core_kernel__Int.t -> Core_kernel__Int.t -> bool
val (<=) : Core_kernel__Int.t -> Core_kernel__Int.t -> bool
val (=) : Core_kernel__Int.t -> Core_kernel__Int.t -> bool
val (>) : Core_kernel__Int.t -> Core_kernel__Int.t -> bool
val (<) : Core_kernel__Int.t -> Core_kernel__Int.t -> bool
val (<>) : Core_kernel__Int.t -> Core_kernel__Int.t -> bool
val equal : Core_kernel__Int.t -> Core_kernel__Int.t -> bool
val min : Core_kernel__Int.t -> Core_kernel__Int.t -> Core_kernel__Int.t
val max : Core_kernel__Int.t -> Core_kernel__Int.t -> Core_kernel__Int.t
val quickcheck_generator_unit : Base.unit Base_quickcheck__.Generator.t
val quickcheck_generator_bool : Base.bool Base_quickcheck__.Generator.t
val quickcheck_generator_char : Base.char Base_quickcheck__.Generator.t
val quickcheck_generator_string : Base.string Base_quickcheck__.Generator.t
val quickcheck_generator_int : Base.int Base_quickcheck__.Generator.t
val quickcheck_generator_int32 : Base.int32 Base_quickcheck__.Generator.t
val quickcheck_generator_int64 : Base.int64 Base_quickcheck__.Generator.t
val quickcheck_generator_nativeint : Base.nativeint Base_quickcheck__.Generator.t
val quickcheck_generator_float : Base.float Base_quickcheck__.Generator.t
val quickcheck_observer_unit : Base.unit Base_quickcheck__.Observer.t
val quickcheck_observer_bool : Base.bool Base_quickcheck__.Observer.t
val quickcheck_observer_char : Base.char Base_quickcheck__.Observer.t
val quickcheck_observer_string : Base.string Base_quickcheck__.Observer.t
val quickcheck_observer_int : Base.int Base_quickcheck__.Observer.t
val quickcheck_observer_int32 : Base.int32 Base_quickcheck__.Observer.t
val quickcheck_observer_int64 : Base.int64 Base_quickcheck__.Observer.t
val quickcheck_observer_nativeint : Base.nativeint Base_quickcheck__.Observer.t
val quickcheck_observer_float : Base.float Base_quickcheck__.Observer.t
val quickcheck_shrinker_unit : Base.unit Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_bool : Base.bool Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_char : Base.char Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_string : Base.string Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_int : Base.int Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_int32 : Base.int32 Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_int64 : Base.int64 Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_nativeint : Base.nativeint Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_float : Base.float Base_quickcheck__.Shrinker.t
val quickcheck_generator_option : 'a Base_quickcheck__.Generator.t -> 'a Base.option Base_quickcheck__.Generator.t
val quickcheck_generator_list : 'a Base_quickcheck__.Generator.t -> 'a Base.list Base_quickcheck__.Generator.t
val quickcheck_observer_option : 'a Base_quickcheck__.Observer.t -> 'a Base.option Base_quickcheck__.Observer.t
val quickcheck_observer_list : 'a Base_quickcheck__.Observer.t -> 'a Base.list Base_quickcheck__.Observer.t
val quickcheck_shrinker_option : 'a Base_quickcheck__.Shrinker.t -> 'a Base.option Base_quickcheck__.Shrinker.t
val quickcheck_shrinker_list : 'a Base_quickcheck__.Shrinker.t -> 'a Base.list Base_quickcheck__.Shrinker.t
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
type bigstring = Sexplib.Conv.bigstring
val sexp_of_bigstring : bigstring -> Ppx_sexp_conv_lib.Sexp.t
val bigstring_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> bigstring
type mat = Sexplib.Conv.mat
val sexp_of_mat : mat -> Ppx_sexp_conv_lib.Sexp.t
val mat_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> mat
type vec = Sexplib.Conv.vec
val sexp_of_vec : vec -> Ppx_sexp_conv_lib.Sexp.t
val vec_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> vec
val sexp_of_opaque : 'a -> Base.Sexp.t
val opaque_of_sexp : Base.Sexp.t -> 'a
val sexp_of_pair : ('a -> Base.Sexp.t) -> ('b -> Base.Sexp.t) -> ('a * 'b) -> Base.Sexp.t
val pair_of_sexp : (Base.Sexp.t -> 'a) -> (Base.Sexp.t -> 'b) -> Base.Sexp.t -> 'a * 'b
exception Of_sexp_error of Core_kernel__Import.exn * Base.Sexp.t
val of_sexp_error : Core_kernel__Import.string -> Base.Sexp.t -> 'a
val of_sexp_error_exn : Core_kernel__Import.exn -> Base.Sexp.t -> 'a
module type Applicative = Core_kernel.Applicative
module type Binable = Core_kernel.Binable
module type Comparable = Core_kernel.Comparable
module type Comparable_binable = Core_kernel.Comparable_binable
module type Floatable = Core_kernel.Floatable
module type Hashable = Core_kernel.Hashable
module type Hashable_binable = Core_kernel.Hashable_binable
module type Identifiable = Core_kernel.Identifiable
module type Infix_comparators = Core_kernel.Infix_comparators
module type Intable = Core_kernel.Intable
module type Monad = Core_kernel.Monad
module type Quickcheckable = Core_kernel.Quickcheckable
module type Robustly_comparable = Core_kernel.Robustly_comparable
module type Sexpable = Core_kernel.Sexpable
module type Stable = Core_kernel.Stable
module type Stable_int63able = Core_kernel.Stable_int63able
module type Stable_without_comparator = Core_kernel.Stable_without_comparator
module type Stable1 = Core_kernel.Stable1
module type Stable2 = Core_kernel.Stable2
module type Stable3 = Core_kernel.Stable3
module type Stable4 = Core_kernel.Stable4
module type Stringable = Core_kernel.Stringable
module type Unit = Core_kernel.Unit
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 -> Ppx_sexp_conv_lib.Sexp.t
val never_returns : Core_kernel__.Nothing.t -> 'a
type _ordering = Core_kernel__Ordering.t =
  1. | Less
  2. | Equal
  3. | Greater
type read = Core_kernel__Perms.Read.t
val bin_shape_read : Bin_prot.Shape.t
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_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 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 sexp_of_read : read -> Ppx_sexp_conv_lib.Sexp.t
val read_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> read
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 sexp_of_write : write -> Ppx_sexp_conv_lib.Sexp.t
val write_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> write
type immutable = Core_kernel__Perms.Immutable.t
val bin_shape_immutable : Bin_prot.Shape.t
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_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_immutable : immutable Bin_prot.Type_class.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 sexp_of_immutable : immutable -> Ppx_sexp_conv_lib.Sexp.t
val immutable_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> immutable
type read_write = Core_kernel__Perms.Read_write.t
val bin_shape_read_write : Bin_prot.Shape.t
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_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_read_write : read_write Bin_prot.Type_class.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 sexp_of_read_write : read_write -> Ppx_sexp_conv_lib.Sexp.t
val read_write_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> read_write
type !'a perms = 'a Core_kernel__Perms.Upper_bound.t
val bin_shape_perms : Bin_prot.Shape.t -> Bin_prot.Shape.t
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_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 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 sexp_of_perms : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a perms -> Ppx_sexp_conv_lib.Sexp.t
val perms_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> Ppx_sexp_conv_lib.Sexp.t -> 'a perms
type (!'ok, !'err) _result = ('ok, 'err) Core_kernel__Result.t =
  1. | Ok of 'ok
  2. | Error of 'err
val is_ok : ('a, 'b) Core_kernel__Result.t -> bool
val is_error : ('a, 'b) Core_kernel__Result.t -> bool
type !-'a return = private 'a Core_kernel__.Import.With_return.return = {
  1. return : 'b. 'a -> 'b;
}
exception Bug of Core_kernel__.Import.string
  • deprecated [since 2020-03] Don't use [Bug]
exception C_malloc_exn of Core_kernel__.Import.int * Core_kernel__.Import.int
exception Finally of Core_kernel__.Import.Exn.t * Core_kernel__.Import.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 (/%) : Core_kernel__.Int.t -> Core_kernel__.Int.t -> Core_kernel__.Int.t
val (//) : Core_kernel__.Int.t -> Core_kernel__.Int.t -> float
val (==>) : bool -> bool -> bool
val bprintf : Base__.Import0.Caml.Buffer.t -> ('a, Base__.Import0.Caml.Buffer.t, unit) format -> 'a
val const : 'a -> 'b -> 'a
val eprintf : ('a, Stdio.Out_channel.t, Base.unit) Base.format -> 'a
val error : ?strict:unit -> string -> 'a -> ('a -> Base__.Sexp.t) -> 'b Core_kernel__.Or_error.t
val error_s : Base__.Sexp.t -> 'a Core_kernel__.Or_error.t
val failwithf : ('a, unit, string, unit -> 'b) format4 -> 'a
val failwithp : ?strict:Core_kernel__.Import.unit -> Lexing.position -> Core_kernel__.Import.string -> 'a -> ('a -> Base.Sexp.t) -> 'b
val failwiths : ?strict:Core_kernel__.Import.unit -> here:Lexing.position -> Core_kernel__.Import.string -> 'a -> ('a -> Base.Sexp.t) -> 'b
val force : 'a Base.Lazy.t -> 'a
val fprintf : Stdio.Out_channel.t -> ('a, Stdio.Out_channel.t, Base.unit) Base.format -> 'a
val ident : 'a -> 'a
val invalid_argf : ('a, unit, string, unit -> 'b) format4 -> 'a
val ifprintf : 'a -> ('b, 'a, 'c, unit) format4 -> 'b
val is_none : 'a option -> bool
val is_some : 'a option -> bool
val ksprintf : (string -> 'a) -> ('b, unit, string, 'a) 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 print_s : ?mach:Base.unit -> Base.Sexp.t -> Base.unit
val eprint_s : ?mach:Base.unit -> Base.Sexp.t -> Base.unit
val printf : ('a, Stdio.Out_channel.t, Base.unit) Base.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 ] -> float -> float
val (**.) : Base__Float.t -> Base__Float.t -> Base__Float.t
val sprintf : ('a, unit, string) format -> 'a
val stage : 'a -> 'a Core_kernel__.Import.Staged.t
val unstage : 'a Core_kernel__.Import.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
val typerep_of_int63 : Base.Int63.t Typerep.t
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_int63 : Base.Int63.t Typerep_lib.Typename.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_shape_array : Bin_prot.Shape.t -> Bin_prot.Shape.t
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_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_array : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.array Bin_prot.Type_class.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 equal_array : ('a -> 'a -> Core_kernel__.Import.bool) -> 'a Core_kernel__.Import.array -> 'a Core_kernel__.Import.array -> Core_kernel__.Import.bool
val sexp_of_array : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a Core_kernel__.Import.array -> Ppx_sexp_conv_lib.Sexp.t
val array_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> Ppx_sexp_conv_lib.Sexp.t -> 'a Core_kernel__.Import.array
val array_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_bool : Bin_prot.Shape.t
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_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_bool : Core_kernel__.Import.bool Bin_prot.Type_class.t
val compare_bool : Core_kernel__.Import.bool -> Core_kernel__.Import.bool -> Core_kernel__.Import.int
val equal_bool : Core_kernel__.Import.bool -> Core_kernel__.Import.bool -> Core_kernel__.Import.bool
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 sexp_of_bool : Core_kernel__.Import.bool -> Ppx_sexp_conv_lib.Sexp.t
val bool_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.bool
val bool_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_char : Bin_prot.Shape.t
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_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_char : Core_kernel__.Import.char Bin_prot.Type_class.t
val compare_char : Core_kernel__.Import.char -> Core_kernel__.Import.char -> Core_kernel__.Import.int
val equal_char : Core_kernel__.Import.char -> Core_kernel__.Import.char -> Core_kernel__.Import.bool
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 sexp_of_char : Core_kernel__.Import.char -> Ppx_sexp_conv_lib.Sexp.t
val char_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.char
val char_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_float : Bin_prot.Shape.t
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_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_float : Core_kernel__.Import.float Bin_prot.Type_class.t
val compare_float : Core_kernel__.Import.float -> Core_kernel__.Import.float -> Core_kernel__.Import.int
val equal_float : Core_kernel__.Import.float -> Core_kernel__.Import.float -> Core_kernel__.Import.bool
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 sexp_of_float : Core_kernel__.Import.float -> Ppx_sexp_conv_lib.Sexp.t
val float_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.float
val float_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_int : Bin_prot.Shape.t
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_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_int : Core_kernel__.Import.int Bin_prot.Type_class.t
val compare_int : Core_kernel__.Import.int -> Core_kernel__.Import.int -> Core_kernel__.Import.int
val equal_int : Core_kernel__.Import.int -> Core_kernel__.Import.int -> Core_kernel__.Import.bool
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 sexp_of_int : Core_kernel__.Import.int -> Ppx_sexp_conv_lib.Sexp.t
val int_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.int
val int_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_int32 : Bin_prot.Shape.t
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_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_int32 : Core_kernel__.Import.int32 Bin_prot.Type_class.t
val compare_int32 : Core_kernel__.Import.int32 -> Core_kernel__.Import.int32 -> Core_kernel__.Import.int
val equal_int32 : Core_kernel__.Import.int32 -> Core_kernel__.Import.int32 -> Core_kernel__.Import.bool
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 sexp_of_int32 : Core_kernel__.Import.int32 -> Ppx_sexp_conv_lib.Sexp.t
val int32_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.int32
val int32_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_int64 : Bin_prot.Shape.t
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_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_int64 : Core_kernel__.Import.int64 Bin_prot.Type_class.t
val compare_int64 : Core_kernel__.Import.int64 -> Core_kernel__.Import.int64 -> Core_kernel__.Import.int
val equal_int64 : Core_kernel__.Import.int64 -> Core_kernel__.Import.int64 -> Core_kernel__.Import.bool
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 sexp_of_int64 : Core_kernel__.Import.int64 -> Ppx_sexp_conv_lib.Sexp.t
val int64_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.int64
val int64_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_lazy_t : Bin_prot.Shape.t -> Bin_prot.Shape.t
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_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_lazy_t : 'a Bin_prot.Type_class.t -> 'a lazy_t Bin_prot.Type_class.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 sexp_of_lazy_t : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a lazy_t -> Ppx_sexp_conv_lib.Sexp.t
val lazy_t_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> Ppx_sexp_conv_lib.Sexp.t -> 'a lazy_t
val lazy_t_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_list : Bin_prot.Shape.t -> Bin_prot.Shape.t
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_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_list : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.list Bin_prot.Type_class.t
val equal_list : ('a -> 'a -> Core_kernel__.Import.bool) -> 'a Core_kernel__.Import.list -> 'a Core_kernel__.Import.list -> Core_kernel__.Import.bool
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 sexp_of_list : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a Core_kernel__.Import.list -> Ppx_sexp_conv_lib.Sexp.t
val list_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> Ppx_sexp_conv_lib.Sexp.t -> 'a Core_kernel__.Import.list
val list_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_nativeint : Bin_prot.Shape.t
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_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_nativeint : Core_kernel__.Import.nativeint Bin_prot.Type_class.t
val compare_nativeint : Core_kernel__.Import.nativeint -> Core_kernel__.Import.nativeint -> Core_kernel__.Import.int
val equal_nativeint : Core_kernel__.Import.nativeint -> Core_kernel__.Import.nativeint -> Core_kernel__.Import.bool
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 sexp_of_nativeint : Core_kernel__.Import.nativeint -> Ppx_sexp_conv_lib.Sexp.t
val nativeint_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.nativeint
val nativeint_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_option : Bin_prot.Shape.t -> Bin_prot.Shape.t
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_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_option : 'a Bin_prot.Type_class.t -> 'a Core_kernel__.Import.option Bin_prot.Type_class.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 equal_option : ('a -> 'a -> Core_kernel__.Import.bool) -> 'a Core_kernel__.Import.option -> 'a Core_kernel__.Import.option -> Core_kernel__.Import.bool
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 sexp_of_option : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a Core_kernel__.Import.option -> Ppx_sexp_conv_lib.Sexp.t
val option_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> Ppx_sexp_conv_lib.Sexp.t -> 'a Core_kernel__.Import.option
val option_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_string : Bin_prot.Shape.t
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_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_string : Core_kernel__.Import.string Bin_prot.Type_class.t
val compare_string : Core_kernel__.Import.string -> Core_kernel__.Import.string -> Core_kernel__.Import.int
val equal_string : Core_kernel__.Import.string -> Core_kernel__.Import.string -> Core_kernel__.Import.bool
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 sexp_of_string : Core_kernel__.Import.string -> Ppx_sexp_conv_lib.Sexp.t
val string_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.string
val string_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_bytes : Bin_prot.Shape.t
val bin_size_bytes : Core_kernel__.Import.bytes Bin_prot.Size.sizer
val bin_write_bytes : Core_kernel__.Import.bytes Bin_prot.Write.writer
val bin_writer_bytes : Core_kernel__.Import.bytes Bin_prot.Type_class.writer
val bin_read_bytes : Core_kernel__.Import.bytes Bin_prot.Read.reader
val __bin_read_bytes__ : (Core_kernel__.Import.int -> Core_kernel__.Import.bytes) Bin_prot.Read.reader
val bin_reader_bytes : Core_kernel__.Import.bytes Bin_prot.Type_class.reader
val bin_bytes : Core_kernel__.Import.bytes Bin_prot.Type_class.t
val compare_bytes : Core_kernel__.Import.bytes -> Core_kernel__.Import.bytes -> Core_kernel__.Import.int
val equal_bytes : Core_kernel__.Import.bytes -> Core_kernel__.Import.bytes -> Core_kernel__.Import.bool
val sexp_of_bytes : Core_kernel__.Import.bytes -> Ppx_sexp_conv_lib.Sexp.t
val bytes_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.bytes
val bytes_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.t
val typerep_of_bytes : Core_kernel__.Import.bytes Typerep_lib.Std.Typerep.t
val typename_of_bytes : Core_kernel__.Import.bytes Typerep_lib.Std.Typename.t
val bin_shape_ref : Bin_prot.Shape.t -> Bin_prot.Shape.t
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_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 compare_ref : ('a -> 'a -> Core_kernel__.Import.int) -> 'a ref -> 'a ref -> Core_kernel__.Import.int
val equal_ref : ('a -> 'a -> Core_kernel__.Import.bool) -> 'a ref -> 'a ref -> Core_kernel__.Import.bool
val sexp_of_ref : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a ref -> Ppx_sexp_conv_lib.Sexp.t
val ref_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> Ppx_sexp_conv_lib.Sexp.t -> 'a ref
val ref_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_unit : Bin_prot.Shape.t
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_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_unit : Core_kernel__.Import.unit Bin_prot.Type_class.t
val compare_unit : Core_kernel__.Import.unit -> Core_kernel__.Import.unit -> Core_kernel__.Import.int
val equal_unit : Core_kernel__.Import.unit -> Core_kernel__.Import.unit -> Core_kernel__.Import.bool
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 sexp_of_unit : Core_kernel__.Import.unit -> Ppx_sexp_conv_lib.Sexp.t
val unit_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> Core_kernel__.Import.unit
val unit_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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_shape_float_array : Bin_prot.Shape.t
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_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_float_array : float_array Bin_prot.Type_class.t
val compare_float_array : float_array -> float_array -> Core_kernel__.Import.int
val sexp_of_float_array : float_array -> Ppx_sexp_conv_lib.Sexp.t
val float_array_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> float_array
val float_array_sexp_grammar : Ppx_sexp_conv_lib.Sexp.Private.Raw_grammar.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 : Core_kernel__.Import.Exn.t -> Base__.Ppx_sexp_conv_lib.Sexp.t
type !'a sexp_array = 'a Core_kernel__.Import.array
  • deprecated [since 2019-03] use [@sexp.array] instead
val bin_shape_sexp_array : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_array : 'a Bin_prot.Size.sizer -> 'a sexp_array Bin_prot.Size.sizer
val bin_write_sexp_array : 'a Bin_prot.Write.writer -> 'a sexp_array Bin_prot.Write.writer
val __bin_read_sexp_array__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a sexp_array) Bin_prot.Read.reader
val bin_read_sexp_array : 'a Bin_prot.Read.reader -> 'a sexp_array Bin_prot.Read.reader
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
  • deprecated [since 2019-03] use [@sexp.bool] instead
val bin_shape_sexp_bool : Bin_prot.Shape.t
val bin_size_sexp_bool : sexp_bool Bin_prot.Size.sizer
val bin_write_sexp_bool : sexp_bool Bin_prot.Write.writer
val bin_writer_sexp_bool : sexp_bool Bin_prot.Type_class.writer
val __bin_read_sexp_bool__ : (Core_kernel__.Import.int -> sexp_bool) Bin_prot.Read.reader
val bin_read_sexp_bool : sexp_bool Bin_prot.Read.reader
val bin_reader_sexp_bool : sexp_bool Bin_prot.Type_class.reader
val bin_sexp_bool : sexp_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
  • deprecated [since 2019-03] use [@sexp.list] instead
val bin_shape_sexp_list : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_list : 'a Bin_prot.Size.sizer -> 'a sexp_list Bin_prot.Size.sizer
val bin_write_sexp_list : 'a Bin_prot.Write.writer -> 'a sexp_list Bin_prot.Write.writer
val __bin_read_sexp_list__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a sexp_list) Bin_prot.Read.reader
val bin_read_sexp_list : 'a Bin_prot.Read.reader -> 'a sexp_list Bin_prot.Read.reader
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
  • deprecated [since 2019-03] use [@sexp.option] instead
val bin_shape_sexp_option : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_option : 'a Bin_prot.Size.sizer -> 'a sexp_option Bin_prot.Size.sizer
val bin_write_sexp_option : 'a Bin_prot.Write.writer -> 'a sexp_option Bin_prot.Write.writer
val __bin_read_sexp_option__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a sexp_option) Bin_prot.Read.reader
val bin_read_sexp_option : 'a Bin_prot.Read.reader -> 'a sexp_option Bin_prot.Read.reader
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
  • deprecated [since 2019-03] use [@sexp.opaque] instead
val bin_shape_sexp_opaque : Bin_prot.Shape.t -> Bin_prot.Shape.t
val bin_size_sexp_opaque : 'a Bin_prot.Size.sizer -> 'a sexp_opaque Bin_prot.Size.sizer
val bin_write_sexp_opaque : 'a Bin_prot.Write.writer -> 'a sexp_opaque Bin_prot.Write.writer
val __bin_read_sexp_opaque__ : 'a Bin_prot.Read.reader -> (Core_kernel__.Import.int -> 'a sexp_opaque) Bin_prot.Read.reader
val bin_read_sexp_opaque : 'a Bin_prot.Read.reader -> 'a sexp_opaque Bin_prot.Read.reader
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
exception Not_found
  • deprecated [since 2018-02] Instead of raising [Not_found], consider using [raise_s] with an informative error message. If code needs to distinguish [Not_found] from other exceptions, please change it to handle both [Not_found] and [Not_found_s]. Then, instead of raising [Not_found], raise [Not_found_s] with an informative error message.
exception Not_found_s of Sexplib0.Sexp.t
type !'a _maybe_bound = 'a Maybe_bound.t =
  1. | Incl of 'a
  2. | Excl of 'a
  3. | Unbounded
val am_running_inline_test : bool
val am_running_test : bool
val does_raise : (unit -> 'a) -> bool
val sec : Core_kernel__.Import.float -> Core_kernel__.Time_float.Span.t
module Core_kernel_private = Core_kernel.Core_kernel_private
Sourceval default_compare : 'a -> 'a -> int
Sourceval compare : 'a -> 'b -> 'c
Sourceval random_char : unit -> Core.Char.t
Sourceval (%) : ('b -> 'c) -> ('a -> 'b) -> 'a -> 'c
Sourceval (%%) : ('c -> 'd) -> ('a -> 'b -> 'c) -> 'a -> 'b -> 'd
Sourceval (@$) : ('a -> 'b) -> 'a -> 'b
Sourceval curry : (('a * 'b) -> 'c) -> 'a -> 'b -> 'c
Sourceval uncurry : ('a -> 'b -> 'c) -> ('a * 'b) -> 'c
Sourceval curry3 : (('a * 'b * 'c) -> 'd) -> 'a -> 'b -> 'c -> 'd
Sourceval curry4 : (('a * 'b * 'c * 'd) -> 'e) -> 'a -> 'b -> 'c -> 'd -> 'e
Sourceval uncurry3 : ('a -> 'b -> 'c -> 'd) -> ('a * 'b * 'c) -> 'd
Sourcetype 'a thunk = unit -> 'a
Sourcetype 'a continuation = 'a -> 'a
Sourcetype 'a pper = Format.formatter -> 'a -> unit
Sourcetype 'a shower = 'a -> string
Sourcetype 'a hash_folder = Base__Hash.state -> 'a -> Base__Hash.state
Sourcetype 'a hasher = 'a -> int
Sourcetype distance = float
Sourcetype 'a metric = 'a -> 'a -> float
Sourcetype 'a unfixed = 'a -> 'a
Sourceval fix : 'a unfixed -> 'a
Sourceval fst_trip : ('a * 'b * 'c) -> 'a
Sourceval snd_trip : ('a * 'b * 'c) -> 'b
Sourceval trd_trip : ('a * 'b * 'c) -> 'c
Sourceval fst_quad : ('a * 'b * 'c * 'd) -> 'a
Sourceval func_of : 'a -> 'b -> 'a
Sourceval thunk_of : 'a -> 'a thunk
Sourcetype comparison = int
Sourceval hash_fold_comparison : Ppx_hash_lib.Std.Hash.state -> comparison -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_comparison : comparison -> Ppx_hash_lib.Std.Hash.hash_value
Sourcetype matchable_comparison =
  1. | EQ
  2. | LT
  3. | GT
Sourceval show_matchable_comparison : matchable_comparison -> Ppx_deriving_runtime.string
Sourceval hash_fold_matchable_comparison : Ppx_hash_lib.Std.Hash.state -> matchable_comparison -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_matchable_comparison : matchable_comparison -> Ppx_hash_lib.Std.Hash.hash_value
Sourcetype partial_order_comparison =
  1. | PO_EQ
  2. | PO_LT
  3. | PO_GT
  4. | PO_INCOMPARABLE
Sourceval is_equal : comparison -> bool
Sourceval is_lt : comparison -> bool
Sourceval is_gt : comparison -> bool
Sourcetype 'a comparer = 'a -> 'a -> comparison
Sourcetype 'a comparer_option = 'a -> 'a -> comparison option
Sourcetype 'a equality_check = 'a -> 'a -> bool
Sourceval comparer_to_equality_check : 'a comparer -> 'a equality_check
Sourceval make_matchable : comparison -> matchable_comparison
Sourceval compare_list : cmp:'a comparer -> 'a list comparer
Sourceval compare_list_as_multisets : cmp:'a comparer -> 'a list -> 'a list -> int
Sourceval is_sublist : cmp:'a comparer -> 'a list -> 'a list -> bool
Sourceval is_submultiset : cmp:'a comparer -> 'a list -> 'a list -> bool
Sourceval compare_to_equals : 'a comparer -> 'a -> 'a -> bool
Sourcemodule type Data = sig ... end
Sourcemodule type UIDData = sig ... end
Sourcemodule type Container = sig ... end
Sourcemodule UnitModule : sig ... end
Sourcemodule CharModule : sig ... end
Sourcemodule IntModule : sig ... end
Sourcemodule StringModule : sig ... end
Sourcemodule BoolModule : sig ... end
Sourcemodule FloatModule : sig ... end
Sourcemodule RefOf (D : sig ... end) : sig ... end
Sourceval hash_fold_ref : 'a hash_folder -> 'a Core.ref hash_folder
Sourcemodule OptionOf (D : sig ... end) : sig ... end
Sourceval oget : 'a option -> 'a
Sourcemodule PairOf (D1 : sig ... end) (D2 : sig ... end) : sig ... end
Sourcemodule TripleOf (D1 : sig ... end) (D2 : sig ... end) (D3 : sig ... end) : sig ... end
Sourcemodule QuadrupleOf (D1 : sig ... end) (D2 : sig ... end) (D3 : sig ... end) (D4 : sig ... end) : sig ... end
Sourcemodule QuintupleOf (D1 : sig ... end) (D2 : sig ... end) (D3 : sig ... end) (D4 : sig ... end) (D5 : sig ... end) : sig ... end
Sourcemodule SextupleOf (D1 : sig ... end) (D2 : sig ... end) (D3 : sig ... end) (D4 : sig ... end) (D5 : sig ... end) (D6 : sig ... end) : sig ... end
Sourcemodule SeptupleOf (D1 : sig ... end) (D2 : sig ... end) (D3 : sig ... end) (D4 : sig ... end) (D5 : sig ... end) (D6 : sig ... end) (D7 : sig ... end) : sig ... end
Sourcemodule ListOf (D : sig ... end) : sig ... end
Sourcemodule FloatList : sig ... end
Sourcemodule IntList : sig ... end
Sourcetype ('a, 'b) either =
  1. | Left of 'a
  2. | Right of 'b
Sourceval compare_either : 'a 'b. ('a -> 'a -> Ppx_deriving_runtime.int) -> ('b -> 'b -> Ppx_deriving_runtime.int) -> ('a, 'b) either -> ('a, 'b) either -> Ppx_deriving_runtime.int
Sourceval hash_fold_either : 'a 'b. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> (Ppx_hash_lib.Std.Hash.state -> 'b -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> ('a, 'b) either -> Ppx_hash_lib.Std.Hash.state
Sourceval either_left : ('a, 'b) either -> 'a option
Sourceval either_left_exn : ('a, 'b) either -> 'a
Sourceval either_right : ('a, 'b) either -> 'b option
Sourceval either_right_exn : ('a, 'b) either -> 'b
Sourcetype 'a except = ('a, string) either
Sourceval option_to_either : f:(unit -> 'b) -> 'a option -> ('a, 'b) either
Sourceval option_to_except : f:(unit -> string) -> 'a option -> 'a except
Sourceval except_map : f:('a -> 'b) -> 'a except -> 'b except
Sourceval except_bind : f:('a -> 'b except) -> 'a except -> 'b except
Sourceval split_by_either : ('a, 'b) either list -> 'a list * 'b list
Sourceval either_map : left_f:('a -> 'c) -> right_f:('b -> 'd) -> ('a, 'b) either -> ('c, 'd) either
Sourceval either_join : left_f:('a -> 'c) -> right_f:('b -> 'c) -> ('a, 'b) either -> 'c
Sourceval combine_eithers : ('a, 'b) either list -> ('a list, 'b list) either option
Sourceval combine_eithers_exn : ('a, 'b) either list -> ('a list, 'b list) either
Sourcetype ('a, 'b, 'c) of_three =
  1. | TLeft of 'a
  2. | TMiddle of 'b
  3. | TRight of 'c
Sourceval fold_until_completion : f:('a -> ('a, 'b) either) -> 'a -> 'b
Sourceval fold_until_fixpoint : is_eq:('a -> 'a -> bool) -> ('a -> 'a) -> 'a -> 'a
Sourceval fold_until_right_or_list_end : f:('b -> 'a -> ('b, 'c) either) -> init:'b -> 'a list -> ('b, 'c) either
Sourceval cartesian_map : f:('a -> 'b -> 'c) -> 'a list -> 'b list -> 'c list
Sourceval cartesian_filter_map : f:('a -> 'b -> 'c option) -> 'a list -> 'b list -> 'c list
Sourceval cartesian_filter : f:('a -> 'b -> bool) -> 'a list -> 'b list -> ('a * 'b) list
Sourceval cartesian_concat_map : f:('a -> 'b -> 'c list) -> 'a list -> 'b list -> 'c list
Sourceval remove_all_elements : 'a list -> ('a * 'a list) list
Sourceval range : int -> int -> int list
Sourceval pair_partition : int -> (int * int) list
Sourceval partition : int -> int -> int list list
Sourceval combinations : 'a list list -> 'a list list
Sourceval make_some : 'a -> 'a option
Sourceval cons_if_some : 'a option -> 'a list -> 'a list
Sourceval filter_nones : 'a option list -> 'a list
Sourceval option_to_empty_or_singleton : 'a option -> 'a list
Sourceval option_bind : f:('a -> 'b option) -> 'a option -> 'b option
Sourceval distribute_option : 'a option list -> 'a list option
Sourceval swap_double : ('a * 'b) -> 'b * 'a
Sourceval time_action : f:(unit -> 'a) -> float * 'a
Sourceval lookup : Core_kernel__Int.t -> (Core_kernel__Int.t * 'b) list -> 'b option
Sourceval split_by_first_satisfying : ('a -> bool) -> 'a list -> ('a list * 'a * 'a list) option
Sourceval split_by_first : 'a list -> ('a * 'a list) option
Sourceval split_by_first_exn : 'a list -> 'a * 'a list
Sourceval split_by_last_exn : 'a list -> 'a list * 'a
Sourceval split_by_last : 'a list -> ('a list * 'a) option
Sourceval split_by_first_last_exn : 'a list -> 'a * 'a list * 'a
Sourceval split_by_condition : 'a list -> f:('a -> bool) -> 'a list * 'a list
Sourceval all_peels : 'a list -> ('a * 'a list) list
Sourceval all_peels_split : 'a list -> ('a list * 'a * 'a list) list
Sourceval remove_at : 'a list -> int -> 'a list option
Sourceval remove_at_exn : 'a list -> int -> 'a list
Sourceval split_at_index_exn : 'a list -> int -> 'a list * 'a list
Sourceval remove_at_index_exn : 'a list -> int -> 'a * 'a list
Sourceval print_to_string : ('a -> Format.formatter -> unit) -> 'a -> string
Sourceval fold_on_head_exn : f:('a -> 'a -> 'a) -> 'a list -> 'a
Sourceval binary_merge_exn : f:('a -> 'a -> 'a) -> 'a Base__List.t -> 'a
Sourceval fold_on_head : f:('a -> 'a -> 'a) -> 'a list -> 'a option
Sourceval fold_on_head_with_default : f:('a -> 'a -> 'a) -> default:'a -> 'a list -> 'a
Sourceval weld_lists : ('a -> 'a -> 'a) -> 'a list -> 'a list -> 'a list
Sourceval duplicate : 'a -> int -> 'a list
Sourceval bucketize_pairs : int -> ('a * int) list -> 'a list list
Sourceval pair_apply : f:('a -> 'b) -> ('a * 'a) -> 'b * 'b
Sourceval bucketize : ('a -> int) -> int -> 'a list -> 'a list list
Sourceval attempt_bucketize : ('a -> int option) -> int -> 'a list -> 'a list list option
Sourceval transpose_safe_empty_exn : int -> 'a list list -> 'a list list
Sourceval is_prime : int -> bool
Sourceval primes_beneath_n : int -> int list
Sourceval primes_between : int -> int -> int list
Sourceval partitions : int -> int -> int list list
Sourceval double_partitions : int -> (int * int) list
Sourceval triple_partitions : int -> (int * int * int) list
Sourceval sort_and_partition : cmp:('a -> 'a -> comparison) -> 'a list -> 'a list list
Sourceval sort_and_partition_with_indices : ('a -> 'a -> comparison) -> 'a list -> ('a * int) list list
Sourceval ordered_partition_order : ('a -> 'a -> comparison) -> 'a list -> 'a list -> comparison
Sourceval option_compare : ('a -> 'a -> comparison) -> 'a option -> 'a option -> comparison
Sourceval either_compare : ('a -> 'a -> comparison) -> ('a -> 'a -> comparison) -> ('a, 'a) either -> ('a, 'a) either -> comparison
Sourceval pair_compare : 'a comparer -> 'b comparer -> ('a * 'b) -> ('a * 'b) -> comparison
Sourceval triple_compare : ('a -> 'a -> comparison) -> ('b -> 'b -> comparison) -> ('c -> 'c -> comparison) -> ('a * 'b * 'c) -> ('a * 'b * 'c) -> comparison
Sourceval quad_compare : ('a -> 'a -> comparison) -> ('b -> 'b -> comparison) -> ('c -> 'c -> comparison) -> ('d -> 'd -> comparison) -> ('a * 'b * 'c * 'd) -> ('a * 'b * 'c * 'd) -> comparison
Sourceval quint_compare : ('a -> 'a -> comparison) -> ('b -> 'b -> comparison) -> ('c -> 'c -> comparison) -> ('d -> 'd -> comparison) -> ('e -> 'e -> comparison) -> ('a * 'b * 'c * 'd * 'e) -> ('a * 'b * 'c * 'd * 'e) -> comparison
Sourceval sext_compare : ('a -> 'a -> comparison) -> ('b -> 'b -> comparison) -> ('c -> 'c -> comparison) -> ('d -> 'd -> comparison) -> ('e -> 'e -> comparison) -> ('f -> 'f -> comparison) -> ('a * 'b * 'c * 'd * 'e * 'f) -> ('a * 'b * 'c * 'd * 'e * 'f) -> comparison
Sourceval partition_dictionary_order : 'a comparer -> 'a list list comparer
Sourceval ordered_partition_dictionary_order : ('a -> 'a -> comparison) -> ('a * int) list list comparer
Sourceval intersect_map_lose_order_and_dupes : f:('a -> 'a -> 'b) -> cmp:('a -> 'a -> comparison) -> 'a list -> 'a list -> 'b list
Sourceval intersect_lose_order_and_dupes : ('a -> 'a -> comparison) -> 'a list -> 'a list -> 'a list
Sourceval minus_keys_lose_order : ('a -> 'a -> comparison) -> ('a * 'b) list -> 'a list -> ('a * 'b) list
Sourceval set_minus_lose_order : ('a -> 'a -> comparison) -> 'a list -> 'a list -> 'a list
Sourceval symmetric_set_minus : ('a -> 'a -> comparison) -> 'a list -> 'a list -> ('a, 'a) either list
Sourceval pairwise_maintain_invariant : ('a -> 'a -> bool) -> 'a list -> 'a list -> bool
Sourceval project_out_elements : int list -> 'a list -> 'a list
Sourceval zip_nondist : 'a list -> 'b list -> ('a option * 'b option) list
Sourceval zip_with : 'a list -> 'b list -> ('a -> 'b -> 'c) -> ('a -> 'c) -> ('b -> 'c) -> 'c list
Sourceval assoc_value_mem : Core_kernel__Int.t -> ('a * Core_kernel__Int.t) list -> 'a option
Sourceval insert_into_correct_list : is_eq:('a -> 'a -> bool) -> ('a * 'b list) list -> 'a -> 'b -> ('a * 'b list) list
Sourceval append_into_correct_list : equal:('a -> 'a -> bool) -> ('a * 'b list) -> ('a * 'b list) list -> ('a * 'b Base__List.t) list
Sourceval group_by_values : equal:('b -> 'b -> bool) -> ('a list * 'b) list -> ('a list * 'b) list
Sourceval group_by_keys : is_eq:('a -> 'a -> bool) -> ('a * 'b) list -> ('a * 'b list) list
Sourceval group_by : key:('a -> 'b) -> equal:('b -> 'b -> bool) -> 'a list -> 'a list list
Sourcemodule Operators : sig ... end
Sourceval string_to_char_list : string -> char list
Sourceval hash_pair : ('a -> int) -> ('b -> int) -> ('a * 'b) -> int
Sourceval hash_triple : ('a -> int) -> ('b -> int) -> ('c -> int) -> ('a * 'b * 'c) -> int
Sourceval hash_quadruple : ('a -> int) -> ('b -> int) -> ('c -> int) -> ('d -> int) -> ('a * 'b * 'c * 'd) -> int
Sourceval hash_quintuple : ('a -> int) -> ('b -> int) -> ('c -> int) -> ('d -> int) -> ('e -> int) -> ('a * 'b * 'c * 'd * 'e) -> int
Sourcetype 'a sequence =
  1. | SNil
  2. | SCons of 'a * 'a sequence thunk
Sourceval app_seq : 'a sequence -> 'a sequence -> 'a sequence
Sourcemodule type MetricSpaceData = sig ... end
Sourcemodule Math : sig ... end
Sourcemodule Id : sig ... end
Sourcemodule type Singleton = sig ... end
Sourceval extract_min_exn : compare:'a comparer -> 'a list -> 'a * 'a list
Sourceval extract_nth_exn : int -> 'a list -> 'a * 'a list
Sourceval extract_min : compare:'a comparer -> 'a list -> ('a * 'a list) option
Sourceval extract_max_exn : compare:'a comparer -> 'a list -> 'a * 'a list
Sourceval extract_first : f:('a -> bool) -> 'a list -> ('a * 'a list) option
Sourceval extract_min_where : compare:'a comparer -> f:('a -> bool) -> 'a list -> ('a * 'a list) option
Sourceval merge_by_size_exn : compare:'a comparer -> merge:('a -> 'a -> 'a) -> 'a list -> 'a
Sourceval merge_by_size_applies_exn : compare:'a comparer -> merge:('a -> 'a -> 'a) -> needs_merge:('a -> 'a -> bool) -> 'a list -> 'a
Sourceval safe_sort : compare:'a comparer_option -> 'a list -> 'a list
Sourceval hash_fold_from_hash : 'a hasher -> Base__Hash.state -> 'a -> Base__Hash.state
Sourcemodule Probability : sig ... end
Sourcemodule Semiring : sig ... end
Sourcemodule StochasticStarSemiring : sig ... end
Sourcemodule Permutation : sig ... end
Sourcemodule CountedPermutation : sig ... end
Sourcemodule StarSemiring : sig ... end
Sourcemodule DictOf (K : sig ... end) (V : sig ... end) : sig ... end
Sourcemodule SetOf (C : sig ... end) : sig ... end
Sourcemodule IntSet : sig ... end
Sourcemodule type PrefData = sig ... end
Sourcemodule DisjointSetWithSetDataOf (DA : sig ... end) (DS : sig ... end) (EF : sig ... end) (MF : sig ... end) : sig ... end
Sourcemodule DisjointSetOf (DA : sig ... end) : sig ... end
Sourcemodule HeapOf (D : sig ... end) : sig ... end
Sourcemodule type DataWithPriority = sig ... end
Sourcemodule PriorityQueueOf (D : sig ... end) : sig ... end
Sourcemodule type UnfixedDataFunction = sig ... end
Sourcemodule FixMemoizerOf (F : sig ... end) : sig ... end
Sourcemodule type UnfixedHCDataFunction = sig ... end
Sourcemodule FixHCMemoizerOf (F : sig ... end) : sig ... end
Sourcetype 'a nonempty_tree =
  1. | Node of 'a * 'a nonempty_tree list
Sourceval compare_nonempty_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a nonempty_tree -> 'a nonempty_tree -> Ppx_deriving_runtime.int
Sourceval equal_nonempty_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.bool) -> 'a nonempty_tree -> 'a nonempty_tree -> Ppx_deriving_runtime.bool
Sourceval hash_fold_nonempty_tree : 'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a nonempty_tree -> Ppx_hash_lib.Std.Hash.state
Sourcetype 'a tree =
  1. | NonemptyTree of 'a nonempty_tree
  2. | EmptyTree
Sourceval compare_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a tree -> 'a tree -> Ppx_deriving_runtime.int
Sourceval equal_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.bool) -> 'a tree -> 'a tree -> Ppx_deriving_runtime.bool
Sourceval hash_fold_tree : 'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a tree -> Ppx_hash_lib.Std.Hash.state
Sourcetype 'a nonempty_normalized_tree =
  1. | NNode of 'a * 'a nonempty_normalized_tree list * CoreAndMore__.Algebra.Permutation.t
Sourceval compare_nonempty_normalized_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a nonempty_normalized_tree -> 'a nonempty_normalized_tree -> Ppx_deriving_runtime.int
Sourceval equal_nonempty_normalized_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.bool) -> 'a nonempty_normalized_tree -> 'a nonempty_normalized_tree -> Ppx_deriving_runtime.bool
Sourceval hash_fold_nonempty_normalized_tree : 'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a nonempty_normalized_tree -> Ppx_hash_lib.Std.Hash.state
Sourcetype 'a normalized_tree =
  1. | NonemptyNTree of 'a nonempty_normalized_tree
  2. | EmptyNTree
Sourceval compare_normalized_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.int) -> 'a normalized_tree -> 'a normalized_tree -> Ppx_deriving_runtime.int
Sourceval equal_normalized_tree : 'a. ('a -> 'a -> Ppx_deriving_runtime.bool) -> 'a normalized_tree -> 'a normalized_tree -> Ppx_deriving_runtime.bool
Sourceval hash_fold_normalized_tree : 'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a normalized_tree -> Ppx_hash_lib.Std.Hash.state
Sourcemodule TreeOf (D : sig ... end) : sig ... end
Sourcemodule UnorderedNonemptyTreeOf (D : sig ... end) : sig ... end
Sourcemodule UnorderedTreeOf (D : sig ... end) : sig ... end
Sourcemodule NonemptyNormalizedTreeOf (D : sig ... end) : sig ... end
Sourcemodule NormalizedTreeOf (D : sig ... end) : sig ... end
Sourceval sorting : cmp:('a -> 'a -> int) -> 'a list -> CoreAndMore__.Algebra.Permutation.t
Sourceval sorting_and_sort : cmp:('a -> 'a -> int) -> 'a list -> CoreAndMore__.Algebra.Permutation.t * 'a list
Sourceval zip3 : 'a list -> 'b list -> 'c list -> ('a * 'b * 'c) list option
Sourceval zip3_exn : 'a list -> 'b list -> 'c list -> ('a * 'b * 'c) list
Sourceval sublist_on_sorted : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> bool
Sourceval sub_multi_set : cmp:('a -> 'a -> int) -> 'a list -> 'a list -> bool
Sourceval or_unequal_lengths_to_option : 'a Core.List.Or_unequal_lengths.t -> 'a option
Sourcemodule HashConsContainer : sig ... end
include module type of struct include HashConsContainer end
Sourcetype +'a hash_consed = {
  1. hkey : int;
  2. tag : int;
  3. node : 'a;
}
Sourceval pp_hash_consed : (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a hash_consed -> unit
Sourceval hash_fold_hash_consed : (Base__Hash.state -> 'a -> Base__Hash.state) -> Base__Hash.state -> 'a hash_consed -> Base__Hash.state
Sourceval equal_hash_consed : ('a -> 'a -> bool) -> 'a hash_consed -> 'a hash_consed -> bool
Sourceval compare_hash_consed : ('a -> 'a -> int) -> 'a hash_consed -> 'a hash_consed -> int
Sourceval hash_consed_of_sexp : (Ppx_sexp_conv_lib.Sexp.t -> 'a) -> Ppx_sexp_conv_lib.Sexp.t -> 'a hash_consed
Sourceval sexp_of_hash_consed : ('a -> Ppx_sexp_conv_lib.Sexp.t) -> 'a hash_consed -> Ppx_sexp_conv_lib.Sexp.t
Sourcemodule HashConsTable : sig ... end
Sourcemodule HashConsOf (D : sig ... end) : sig ... end
Sourcemodule Hmap : sig ... end
Sourcemodule Hset : sig ... end
Sourcemodule HCSetOf (D : sig ... end) : sig ... end
Sourcemodule HCDictOf (K : sig ... end) (V : sig ... end) : sig ... end
Sourcemodule type PartialOrdered = sig ... end
Sourcemodule DataToPO (D : sig ... end) : sig ... end
Sourcemodule MaxForestOf (PO : sig ... end) : sig ... end
Sourceval paren : string -> string
Sourceval bracket : string -> string
Sourceval undelimit_string : string -> string
Sourceval delimit_string : string -> string
Sourceval delimit_tabs : string -> string
Sourceval delimit_newlines : string -> string
Sourceval delimit_slashes : string -> string
Sourceval delimit_commas : string -> string
Sourceval undelimit_commas : string -> string
Sourceval string_of_option : ('a -> string) -> 'a option -> string
Sourceval string_of_either : ('a -> string) -> ('b -> string) -> ('a, 'b) CoreAndMore__.Util.either -> string
Sourceval string_of_list : ('a -> string) -> 'a list -> string
Sourceval string_of_pair : ('a -> string) -> ('b -> string) -> ('a * 'b) -> string
Sourceval string_of_triple : ('a -> string) -> ('b -> string) -> ('c -> string) -> ('a * 'b * 'c) -> string
Sourceval string_of_quadruple : ('a -> string) -> ('b -> string) -> ('c -> string) -> ('d -> string) -> ('a * 'b * 'c * 'd) -> string
Sourceval string_of_quintuple : ('a -> string) -> ('b -> string) -> ('c -> string) -> ('d -> string) -> ('e -> string) -> ('a * 'b * 'c * 'd * 'e) -> string
Sourceval string_of_sextuple : ('a -> string) -> ('b -> string) -> ('c -> string) -> ('d -> string) -> ('e -> string) -> ('e -> string) -> ('a * 'b * 'c * 'd * 'e * 'e) -> string
Sourceval string_of_int_list : int list -> string
Sourceval string_of_int_list_list : int list list -> string
Sourceval string_of_char : char -> string
Sourceval string_of_char_list : char list -> string
Sourceval string_of_char_list_list : char list list -> string
Sourceval string_of_ref : ('a -> string) -> 'a Core.ref -> string
Sourceval to_string_of_printer : ('a -> Format.formatter -> unit) -> 'a -> string
Sourceval show_of_pp : (Format.formatter -> 'a -> unit) -> 'a -> string
Sourcemodule SimpleFile : sig ... end
Sourcemodule HashSet : sig ... end
Sourcemodule HashTable : 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