package core-and-more

  1. Overview
  2. Docs
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.