Import (base.Base_

include Base__.Import0

include module type of sig ... end with type a ref := a Pervasives.ref with type (a, b, c) format := (a, b, c) Pervasives.format with type (a, b, c, d) format4 := (a, b, c, d) Pervasives.format4 with type (a, b, c, d, e, f) format6 := (a, b, c, d, e, f) Pervasives.format6 with module Pervasives := Pervasives with module Array := Caml.Array with module Buffer := Caml.Buffer with module Bytes := Caml.Bytes with module Char := Caml.Char with module Hashtbl := Caml.Hashtbl with module Int32 := Caml.Int32 with module Int64 := Caml.Int64 with module Lazy := Caml.Lazy with module List := Caml.List with module Map := Caml.Map with module Nativeint := Caml.Nativeint with module Printf := Caml.Printf with module Queue := Caml.Queue with module Random := Caml.Random with module Set := Caml.Set with module String := Caml.String with module Sys := Caml.Sys with module Uchar := Caml.Uchar

module Arg = Arg

module Array = Array

module ArrayLabels = ArrayLabels

module Buffer = Buffer

module Bytes = Bytes

module BytesLabels = BytesLabels

module Callback = Callback

module Char = Char

module Complex = Complex

module Digest = Digest

module Ephemeron = Ephemeron

module Filename = Filename

module Format = Format

module Gc = Gc

module Genlex = Genlex

module Hashtbl = Hashtbl

module Int32 = Int32

module Int64 = Int64

module Lazy = Lazy

module Lexing = Lexing

module List = List

module ListLabels = ListLabels

module Map = Map

module Marshal = Marshal

module MoreLabels = MoreLabels

module Nativeint = Nativeint

module Obj = Obj

module Oo = Oo

module Parsing = Parsing

module Pervasives = Pervasives

module Printexc = Printexc

module Printf = Printf

module Queue = Queue

module Random = Random

module Scanf = Scanf

module Set = Set

module Sort = Sort

module Spacetime = Spacetime

module Stack = Stack

module StdLabels = StdLabels

module Stream = Stream

module String = String

module StringLabels = StringLabels

module Sys = Sys

module Uchar = Uchar

module Weak = Weak

external raise : exn ‑> 'a = "%raise"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.raise] instead

external raise_notrace : exn ‑> 'a = "%raise_notrace"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.raise_notrace] instead

val invalid_arg : string ‑> 'a

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.invalid_arg] instead

val failwith : string ‑> 'a

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.failwith] instead

exception Exit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.Exit instead

external (=) : 'a ‑> 'a ‑> bool = "%equal"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( = )] instead

external (<>) : 'a ‑> 'a ‑> bool = "%notequal"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( <> )] instead

external (<) : 'a ‑> 'a ‑> bool = "%lessthan"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( < )] instead

external (>) : 'a ‑> 'a ‑> bool = "%greaterthan"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( > )] instead

external (<=) : 'a ‑> 'a ‑> bool = "%lessequal"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( <= )] instead

external (>=) : 'a ‑> 'a ‑> bool = "%greaterequal"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( >= )] instead

external compare : 'a ‑> 'a ‑> int = "%compare"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.compare] instead

val min : 'a ‑> 'a ‑> 'a

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.min] instead

val max : 'a ‑> 'a ‑> 'a

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.max] instead

external (==) : 'a ‑> 'a ‑> bool = "%eq"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [phys_equal] instead.

external (!=) : 'a ‑> 'a ‑> bool = "%noteq"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [not (phys_equal ...)] instead.

external not : bool ‑> bool = "%boolnot"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.not] instead

external (&&) : bool ‑> bool ‑> bool = "%sequand"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( && )] instead

external (&) : bool ‑> bool ‑> bool = "%sequand"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( & )] instead

external (||) : bool ‑> bool ‑> bool = "%sequor"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( || )] instead

external or : bool ‑> bool ‑> bool = "%sequor"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( or )] instead

external __LOC__ : string = "%loc_LOC"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__LOC__] instead

external __FILE__ : string = "%loc_FILE"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__FILE__] instead

external __LINE__ : int = "%loc_LINE"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__LINE__] instead

external __MODULE__ : string = "%loc_MODULE"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__MODULE__] instead

external __POS__ : string * int * int * int = "%loc_POS"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__POS__] instead

external __LOC_OF__ : 'a ‑> string * 'a = "%loc_LOC"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__LOC_OF__] instead

external __LINE_OF__ : 'a ‑> int * 'a = "%loc_LINE"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__LINE_OF__] instead

external __POS_OF__ : 'a ‑> (string * int * int * int) * 'a = "%loc_POS"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.__POS_OF__] instead

external (|>) : 'a ‑> ('a ‑> 'b) ‑> 'b = "%revapply"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( |> )] instead

external (@@) : ('a ‑> 'b) ‑> 'a ‑> 'b = "%apply"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( @@ )] instead

external (~-) : int ‑> int = "%negint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( ~- )] instead

external (~+) : int ‑> int = "%identity"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( ~+ )] instead

external succ : int ‑> int = "%succint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.succ] instead.

external pred : int ‑> int = "%predint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.pred] instead.

external (+) : int ‑> int ‑> int = "%addint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( + )] instead

external (-) : int ‑> int ‑> int = "%subint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( - )] instead

external (*) : int ‑> int ‑> int = "%mulint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( * )] instead

external (/) : int ‑> int ‑> int = "%divint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( / )] instead

external (mod) : int ‑> int ‑> int = "%modint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use (%), which has a sligtly different semantics, or Int.rem which is equivalent.

val abs : int ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.abs] instead

val max_int : int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.max_value] instead.

val min_int : int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.min_value] instead.

external (land) : int ‑> int ‑> int = "%andint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( land )] instead

external (lor) : int ‑> int ‑> int = "%orint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( lor )] instead

external (lxor) : int ‑> int ‑> int = "%xorint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( lxor )] instead

val (lnot) : int ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.lnot] instead

external (lsl) : int ‑> int ‑> int = "%lslint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( lsl )] instead

external (lsr) : int ‑> int ‑> int = "%lsrint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( lsr )] instead

external (asr) : int ‑> int ‑> int = "%asrint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( asr )] instead

external (~-.) : float ‑> float = "%negfloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( ~-. )] instead

external (~+.) : float ‑> float = "%identity"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( ~+. )] instead

external (+.) : float ‑> float ‑> float = "%addfloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( +. )] instead

external (-.) : float ‑> float ‑> float = "%subfloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( -. )] instead

external (*.) : float ‑> float ‑> float = "%mulfloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( *. )] instead

external (/.) : float ‑> float ‑> float = "%divfloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( /. )] instead

external (**) : float ‑> float ‑> float = "caml_power_float" "pow"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [**.] instead.

external sqrt : float ‑> float = "caml_sqrt_float" "sqrt"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.sqrt] instead.

external exp : float ‑> float = "caml_exp_float" "exp"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.exp] instead.

external log : float ‑> float = "caml_log_float" "log"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.log] instead.

external log10 : float ‑> float = "caml_log10_float" "log10"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.log10] instead.

external expm1 : float ‑> float = "caml_expm1_float" "caml_expm1"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.expm1] instead.

external log1p : float ‑> float = "caml_log1p_float" "caml_log1p"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.log1p] instead.

external cos : float ‑> float = "caml_cos_float" "cos"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.cos] instead.

external sin : float ‑> float = "caml_sin_float" "sin"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.sin] instead.

external tan : float ‑> float = "caml_tan_float" "tan"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.tan] instead.

external acos : float ‑> float = "caml_acos_float" "acos"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.acos] instead.

external asin : float ‑> float = "caml_asin_float" "asin"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.asin] instead.

external atan : float ‑> float = "caml_atan_float" "atan"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.atan] instead.

external atan2 : float ‑> float ‑> float = "caml_atan2_float" "atan2"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.atan2] instead.

external hypot : float ‑> float ‑> float = "caml_hypot_float" "caml_hypot"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.hypot] instead.

external cosh : float ‑> float = "caml_cosh_float" "cosh"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.cosh] instead.

external sinh : float ‑> float = "caml_sinh_float" "sinh"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.sinh] instead.

external tanh : float ‑> float = "caml_tanh_float" "tanh"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.tanh] instead.

external ceil : float ‑> float = "caml_ceil_float" "ceil"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.round_up] instead.

external floor : float ‑> float = "caml_floor_float" "floor"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.round_down] instead.

external abs_float : float ‑> float = "%absfloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.abs_float] instead

external copysign : float ‑> float ‑> float = "caml_copysign_float" "caml_copysign"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.copysign] instead.

external mod_float : float ‑> float ‑> float = "caml_fmod_float" "fmod"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.mod_float] instead.

external frexp : float ‑> float * int = "caml_frexp_float"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.frexp] instead.

external ldexp : float ‑> int ‑> float = "caml_ldexp_float" "caml_ldexp_float_unboxed"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.ldexp] instead.

external modf : float ‑> float * float = "caml_modf_float"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.modf] instead.

external float : int ‑> float = "%floatofint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.of_int] instead.

external float_of_int : int ‑> float = "%floatofint"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.of_int] instead.

external truncate : float ‑> int = "%intoffloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.of_float] instead.

external int_of_float : float ‑> int = "%intoffloat"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.of_float] instead.

val infinity : float

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.infinity] instead.

val neg_infinity : float

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.neg_infinity] instead.

val nan : float

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.nan] instead.

val max_float : float

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.max_finite_value] instead.

val min_float : float

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.min_positive_normal_value] instead.

val epsilon_float : float

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.epsilon_float] instead.

type fpclass = Pervasives.fpclass =

| FP_normal

| FP_subnormal

| FP_zero

| FP_infinite

| FP_nan

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.fpclass instead

external classify_float : float ‑> fpclass = "caml_classify_float" "caml_classify_float_unboxed"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.classify] instead.

val (^) : string ‑> string ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( ^ )] instead

external int_of_char : char ‑> int = "%identity"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Char.to_int] instead.

val char_of_int : int ‑> char

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Char.of_int_exn] instead.

external ignore : 'a ‑> unit = "%ignore"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.ignore] instead

val string_of_bool : bool ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Bool.to_string] instead.

val bool_of_string : string ‑> bool

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Bool.of_string] instead.

val bool_of_string_opt : string ‑> bool option

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.bool_of_string_opt] instead

val string_of_int : int ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.to_string] instead.

external int_of_string : string ‑> int = "caml_int_of_string"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.of_string] instead.

val int_of_string_opt : string ‑> int option

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.int_of_string_opt] instead

val string_of_float : float ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.to_string] instead.

external float_of_string : string ‑> float = "caml_float_of_string"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Float.of_string] instead.

val float_of_string_opt : string ‑> float option

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.float_of_string_opt] instead

external fst : ('a * 'b) ‑> 'a = "%field0"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.fst] instead

external snd : ('a * 'b) ‑> 'b = "%field1"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.snd] instead

val (@) : 'a list ‑> 'a list ‑> 'a list

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( @ )] instead

type in_channel = Pervasives.in_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.t] instead.

type out_channel = Pervasives.out_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.t] instead.

val stdin : in_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.stdin] instead.

val stdout : out_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.stdout] instead.

val stderr : out_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.stderr] instead.

val print_char : char ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_char Stdio.stdout] instead.

val print_string : string ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_string Stdio.stdout] instead.

val print_bytes : bytes ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_bytes Stdio.stdout] instead.

val print_int : int ‑> unit

val print_float : float ‑> unit

val print_endline : string ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.print_endline] instead.

val print_newline : unit ‑> unit

val prerr_char : char ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_char Stdio.stderr] instead.

val prerr_string : string ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_string Stdio.stderr] instead.

val prerr_bytes : bytes ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_bytes Stdio.stderr] instead.

val prerr_int : int ‑> unit

val prerr_float : float ‑> unit

val prerr_endline : string ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.prerr_endline] instead.

val prerr_newline : unit ‑> unit

val read_line : unit ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.input_line] instead.

val read_int : unit ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.read_int] instead

val read_int_opt : unit ‑> int option

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.read_int_opt] instead

val read_float : unit ‑> float

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.read_float] instead

val read_float_opt : unit ‑> float option

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.read_float_opt] instead

type open_flag = Pervasives.open_flag =

| Open_rdonly

| Open_wronly

| Open_append

| Open_creat

| Open_trunc

| Open_excl

| Open_binary

| Open_text

| Open_nonblock

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.open_flag instead

val open_out : string ‑> out_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.create] instead.

val open_out_bin : string ‑> out_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.create] instead.

val open_out_gen : open_flag list ‑> int ‑> string ‑> out_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.open_out_gen] instead

val flush : out_channel ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.flush] instead.

val flush_all : unit ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.flush_all] instead

val output_char : out_channel ‑> char ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_char] instead.

val output_string : out_channel ‑> string ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_string] instead.

val output_bytes : out_channel ‑> bytes ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_bytes] instead.

val output : out_channel ‑> bytes ‑> int ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output] instead.

val output_substring : out_channel ‑> string ‑> int ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output] instead.

val output_byte : out_channel ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_byte] instead.

val output_binary_int : out_channel ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_binary_int] instead.

val output_value : out_channel ‑> 'a ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.output_value] instead.

val seek_out : out_channel ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.seek] instead.

val pos_out : out_channel ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.pos] instead.

val out_channel_length : out_channel ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.length] instead.

val close_out : out_channel ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.close] instead.

val close_out_noerr : out_channel ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.close] instead.

val set_binary_mode_out : out_channel ‑> bool ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.Out_channel.set_binary_mode] instead.

val open_in : string ‑> in_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.create] instead.

val open_in_bin : string ‑> in_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.create] instead.

val open_in_gen : open_flag list ‑> int ‑> string ‑> in_channel

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.open_in_gen] instead

val input_char : in_channel ‑> char

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.input_char] instead.

val input_line : in_channel ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.input_line] instead.

val input : in_channel ‑> bytes ‑> int ‑> int ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.input] instead.

val really_input : in_channel ‑> bytes ‑> int ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.really_input] instead.

val really_input_string : in_channel ‑> int ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is no equivalent functionality in Base or Stdio but you can use [Stdio.Out_channel] instead. Alternatively, if you really want to refer the stdlib function you can use [Caml.really_input_string].

val input_byte : in_channel ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.input_byte] instead.

val input_binary_int : in_channel ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.input_binary_int] instead.

val input_value : in_channel ‑> 'a

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.unsafe_input_value] instead.

val seek_in : in_channel ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.seek] instead.

val pos_in : in_channel ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.pos] instead.

val in_channel_length : in_channel ‑> int

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.length] instead.

val close_in : in_channel ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.close] instead.

val close_in_noerr : in_channel ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.close] instead.

val set_binary_mode_in : in_channel ‑> bool ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Stdio.In_channel.set_binary_mode] instead.

module LargeFile = Pervasives.LargeFile

type 'a ref = 'a Pervasives.ref = {

mutable contents : 'a;

}

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.ref instead

external ref : 'a ‑> 'a ref = "%makemutable"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.ref] instead

external (!) : 'a ref ‑> 'a = "%field0"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( ! )] instead

external (:=) : 'a ref ‑> 'a ‑> unit = "%setfield0"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( := )] instead

external incr : int ref ‑> unit = "%incr"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.incr] instead.

external decr : int ref ‑> unit = "%decr"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Use [Int.decr] instead.

type ('a, 'b) result = ('a, 'b) Pervasives.result =

| Ok of 'a

| Error of 'b

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.result instead

type ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) CamlinternalFormatBasics.format6

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.format6 instead

type ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'c, 'c, 'd) format6

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.format4 instead

type ('a, 'b, 'c) format = ('a, 'b, 'c, 'c) format4

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. Refering to the stdlib directly is discouraged by Base. You should either use the equivalent functionality offered by Base, or if you really want to refer to the stdlib, use Caml.format instead

val string_of_format : ('a, 'b, 'c, 'd, 'e, 'f) format6 ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.string_of_format] instead

external format_of_string : ('a, 'b, 'c, 'd, 'e, 'f) format6 ‑> ('a, 'b, 'c, 'd, 'e, 'f) format6 = "%identity"

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.format_of_string] instead

val (^^) : ('a, 'b, 'c, 'd, 'e, 'f) format6 ‑> ('f, 'b, 'c, 'e, 'g, 'h) format6 ‑> ('a, 'b, 'c, 'd, 'g, 'h) format6

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.( ^^ )] instead

val exit : int ‑> 'a

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.exit] instead

val at_exit : (unit ‑> unit) ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.at_exit] instead

val valid_float_lexem : string ‑> string

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.valid_float_lexem] instead

val unsafe_really_input : in_channel ‑> bytes ‑> int ‑> int ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.unsafe_really_input] instead

val do_at_exit : unit ‑> unit

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. There is not equivalent functionality in Base or Stdio at the moment, so you need to use [Caml.do_at_exit] instead

exception Not_found

Deprecated [2016-09] this element comes from the stdlib distributed with OCaml. 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.

type 'a ref = 'a Caml.ref = {

mutable contents : 'a;

}

module Caml = Base__.Import0.Caml

external (|>) : 'a ‑> ('a ‑> 'b) ‑> 'b = "%revapply"

external (&&) : bool ‑> bool ‑> bool = "%sequand"

external (||) : bool ‑> bool ‑> bool = "%sequor"

external not : bool ‑> bool = "%boolnot"

external ignore : _ ‑> unit = "%ignore"

val (!=) : 'a ‑> 'a ‑> bool

val (*) : int ‑> int ‑> int

val (**) : float ‑> float ‑> float

val (*.) : float ‑> float ‑> float

val (+) : int ‑> int ‑> int

val (+.) : float ‑> float ‑> float

val (-) : int ‑> int ‑> int

val (-.) : float ‑> float ‑> float

val (/) : int ‑> int ‑> int

val (/.) : float ‑> float ‑> float

module Polymorphic_compare = Base__.Import0.Polymorphic_compare

module Poly = Polymorphic_compare

module Int_replace_polymorphic_compare = Base__.Import0.Int_replace_polymorphic_compare

include Int_replace_polymorphic_compare

val (<) : int ‑> int ‑> bool

val (<=) : int ‑> int ‑> bool

val (<>) : int ‑> int ‑> bool

val (=) : int ‑> int ‑> bool

val (>) : int ‑> int ‑> bool

val (>=) : int ‑> int ‑> bool

val ascending : int ‑> int ‑> int

val descending : int ‑> int ‑> int

val compare : int ‑> int ‑> int

val equal : int ‑> int ‑> bool

val max : int ‑> int ‑> int

val min : int ‑> int ‑> int

module Int64_replace_polymorphic_compare = Base__.Import0.Int64_replace_polymorphic_compare

module Nativeint_replace_polymorphic_compare = Base__.Import0.Nativeint_replace_polymorphic_compare

module Bool_replace_polymorphic_compare = Base__.Import0.Bool_replace_polymorphic_compare

module Char_replace_polymorphic_compare = Base__.Import0.Char_replace_polymorphic_compare

module Uchar_replace_polymorphic_compare = Base__.Import0.Uchar_replace_polymorphic_compare

module Float_replace_polymorphic_compare = Base__.Import0.Float_replace_polymorphic_compare

module String_replace_polymorphic_compare = Base__.Import0.String_replace_polymorphic_compare

module Bytes_replace_polymorphic_compare = Base__.Import0.Bytes_replace_polymorphic_compare

external (:=) : 'a ref ‑> 'a ‑> unit = "%setfield0"

external (!) : 'a ref ‑> 'a = "%field0"

external ref : 'a ‑> 'a ref = "%makemutable"

val (@) : 'a list ‑> 'a list ‑> 'a list

val (^) : string ‑> string ‑> string

val (~-) : int ‑> int

val (~-.) : float ‑> float

val (asr) : int ‑> int ‑> int

val (land) : int ‑> int ‑> int

val (lnot) : int ‑> int

val (lor) : int ‑> int ‑> int

val (lsl) : int ‑> int ‑> int

val (lsr) : int ‑> int ‑> int

val (lxor) : int ‑> int ‑> int

val (mod) : int ‑> int ‑> int

val abs : int ‑> int

val failwith : string ‑> 'a

val fst : ('a * 'b) ‑> 'a

val invalid_arg : string ‑> 'a

val raise : exn ‑> 'a

val snd : ('a * 'b) ‑> 'b

val phys_equal : 'a ‑> 'a ‑> bool

val decr : int Caml.ref ‑> unit

val incr : int Caml.ref ‑> unit

val float_of_string : string ‑> float

external am_testing : unit ‑> bool = "Base_am_testing"

val am_testing : bool

include Sexplib0.Sexp_conv

Utility Module for S-expression Conversions

type sexp_bool = bool

Dummy definitions for "optional" options, lists, and for opaque types

type 'a sexp_option = 'a option

type 'a sexp_list = 'a list

type 'a sexp_array = 'a array

type 'a sexp_opaque = 'a

Conversion of OCaml-values to S-expressions

val default_string_of_float : (float ‑> string) Pervasives.ref

default_string_of_float reference to the default function used to convert floats to strings.

Initially set to fun n -> sprintf "%.20G" n.

val write_old_option_format : bool Pervasives.ref

write_old_option_format reference for the default option format used to write option values. If set to true, the old-style option format will be used, the new-style one otherwise.

Initially set to true.

val read_old_option_format : bool Pervasives.ref

read_old_option_format reference for the default option format used to read option values. Of_sexp_error will be raised with old-style option values if this reference is set to false. Reading new-style option values is always supported. Using a global reference instead of changing the converter calling conventions is the only way to avoid breaking old code with the standard macros.

Initially set to true.

val list_map : ('a ‑> 'b) ‑> 'a list ‑> 'b list

We re-export a tail recursive map function, because some modules override the standard library functions (e.g. StdLabels) which wrecks havoc with the camlp4 extension.

val sexp_of_unit : unit ‑> Sexplib0.Sexp.t

sexp_of_unit () converts a value of type unit to an S-expression.

val sexp_of_bool : bool ‑> Sexplib0.Sexp.t

sexp_of_bool b converts the value x of type bool to an S-expression.

val sexp_of_string : string ‑> Sexplib0.Sexp.t

sexp_of_bool str converts the value str of type string to an S-expression.

val sexp_of_bytes : bytes ‑> Sexplib0.Sexp.t

sexp_of_bool str converts the value str of type bytes to an S-expression.

val sexp_of_char : char ‑> Sexplib0.Sexp.t

sexp_of_char c converts the value c of type char to an S-expression.

val sexp_of_int : int ‑> Sexplib0.Sexp.t

sexp_of_int n converts the value n of type int to an S-expression.

val sexp_of_float : float ‑> Sexplib0.Sexp.t

sexp_of_float n converts the value n of type float to an S-expression.

val sexp_of_int32 : int32 ‑> Sexplib0.Sexp.t

sexp_of_int32 n converts the value n of type int32 to an S-expression.

val sexp_of_int64 : int64 ‑> Sexplib0.Sexp.t

sexp_of_int64 n converts the value n of type int64 to an S-expression.

val sexp_of_nativeint : nativeint ‑> Sexplib0.Sexp.t

sexp_of_nativeint n converts the value n of type nativeint to an S-expression.

val sexp_of_ref : ('a ‑> Sexplib0.Sexp.t) ‑> 'a Pervasives.ref ‑> Sexplib0.Sexp.t

sexp_of_ref conv r converts the value r of type 'a ref to an S-expression. Uses conv to convert values of type 'a to an S-expression.

val sexp_of_lazy_t : ('a ‑> Sexplib0.Sexp.t) ‑> 'a lazy_t ‑> Sexplib0.Sexp.t

sexp_of_lazy_t conv l converts the value l of type 'a lazy_t to an S-expression. Uses conv to convert values of type 'a to an S-expression.

val sexp_of_option : ('a ‑> Sexplib0.Sexp.t) ‑> 'a option ‑> Sexplib0.Sexp.t

sexp_of_option conv opt converts the value opt of type 'a option to an S-expression. Uses conv to convert values of type 'a to an S-expression.

val sexp_of_pair : ('a ‑> Sexplib0.Sexp.t) ‑> ('b ‑> Sexplib0.Sexp.t) ‑> ('a * 'b) ‑> Sexplib0.Sexp.t

sexp_of_pair conv1 conv2 pair converts a pair to an S-expression. It uses its first argument to convert the first element of the pair, and its second argument to convert the second element of the pair.

val sexp_of_triple : ('a ‑> Sexplib0.Sexp.t) ‑> ('b ‑> Sexplib0.Sexp.t) ‑> ('c ‑> Sexplib0.Sexp.t) ‑> ('a * 'b * 'c) ‑> Sexplib0.Sexp.t

sexp_of_triple conv1 conv2 conv3 triple converts a triple to an S-expression using conv1, conv2, and conv3 to convert its elements.

val sexp_of_list : ('a ‑> Sexplib0.Sexp.t) ‑> 'a list ‑> Sexplib0.Sexp.t

sexp_of_list conv lst converts the value lst of type 'a list to an S-expression. Uses conv to convert values of type 'a to an S-expression.

val sexp_of_array : ('a ‑> Sexplib0.Sexp.t) ‑> 'a array ‑> Sexplib0.Sexp.t

sexp_of_array conv ar converts the value ar of type 'a array to an S-expression. Uses conv to convert values of type 'a to an S-expression.

val sexp_of_hashtbl : ('a ‑> Sexplib0.Sexp.t) ‑> ('b ‑> Sexplib0.Sexp.t) ‑> ('a, 'b) Hashtbl.t ‑> Sexplib0.Sexp.t

sexp_of_hashtbl conv_key conv_value htbl converts the value htbl of type ('a, 'b) Hashtbl.t to an S-expression. Uses conv_key to convert the hashtable keys of type 'a, and conv_value to convert hashtable values of type 'b to S-expressions.

val sexp_of_opaque : 'a ‑> Sexplib0.Sexp.t

sexp_of_opaque x converts the value x of opaque type to an S-expression. This means the user need not provide converters, but the result cannot be interpreted.

val sexp_of_fun : ('a ‑> 'b) ‑> Sexplib0.Sexp.t

sexp_of_fun f converts the value f of function type to a dummy S-expression. Functions cannot be serialized as S-expressions, but at least a placeholder can be generated for pretty-printing.

Conversion of S-expressions to OCaml-values

exception Of_sexp_error of exn * Sexplib0.Sexp.t

Of_sexp_error (exn, sexp) the exception raised when an S-expression could not be successfully converted to an OCaml-value.

val record_check_extra_fields : bool Pervasives.ref

record_check_extra_fields checks for extra (= unknown) fields in record S-expressions.

val of_sexp_error : string ‑> Sexplib0.Sexp.t ‑> 'a

of_sexp_error reason sexp raises Of_sexp_error (Failure reason, sexp).

val of_sexp_error_exn : exn ‑> Sexplib0.Sexp.t ‑> 'a

of_sexp_error exc sexp raises Of_sexp_error (exc, sexp).

val unit_of_sexp : Sexplib0.Sexp.t ‑> unit

unit_of_sexp sexp converts S-expression sexp to a value of type unit.

val bool_of_sexp : Sexplib0.Sexp.t ‑> bool

bool_of_sexp sexp converts S-expression sexp to a value of type bool.

val string_of_sexp : Sexplib0.Sexp.t ‑> string

string_of_sexp sexp converts S-expression sexp to a value of type string.

val bytes_of_sexp : Sexplib0.Sexp.t ‑> bytes

bytes_of_sexp sexp converts S-expression sexp to a value of type bytes.

val char_of_sexp : Sexplib0.Sexp.t ‑> char

char_of_sexp sexp converts S-expression sexp to a value of type char.

val int_of_sexp : Sexplib0.Sexp.t ‑> int

int_of_sexp sexp converts S-expression sexp to a value of type int.

val float_of_sexp : Sexplib0.Sexp.t ‑> float

float_of_sexp sexp converts S-expression sexp to a value of type float.

val int32_of_sexp : Sexplib0.Sexp.t ‑> int32

int32_of_sexp sexp converts S-expression sexp to a value of type int32.

val int64_of_sexp : Sexplib0.Sexp.t ‑> int64

int64_of_sexp sexp converts S-expression sexp to a value of type int64.

val nativeint_of_sexp : Sexplib0.Sexp.t ‑> nativeint

nativeint_of_sexp sexp converts S-expression sexp to a value of type nativeint.

val ref_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> Sexplib0.Sexp.t ‑> 'a Pervasives.ref

ref_of_sexp conv sexp converts S-expression sexp to a value of type 'a ref using conversion function conv, which converts an S-expression to a value of type 'a.

val lazy_t_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> Sexplib0.Sexp.t ‑> 'a lazy_t

lazy_t_of_sexp conv sexp converts S-expression sexp to a value of type 'a lazy_t using conversion function conv, which converts an S-expression to a value of type 'a.

val option_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> Sexplib0.Sexp.t ‑> 'a option

option_of_sexp conv sexp converts S-expression sexp to a value of type 'a option using conversion function conv, which converts an S-expression to a value of type 'a.

val pair_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> (Sexplib0.Sexp.t ‑> 'b) ‑> Sexplib0.Sexp.t ‑> 'a * 'b

pair_of_sexp conv1 conv2 sexp converts S-expression sexp to a pair of type 'a * 'b using conversion functions conv1 and conv2, which convert S-expressions to values of type 'a and 'b respectively.

val triple_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> (Sexplib0.Sexp.t ‑> 'b) ‑> (Sexplib0.Sexp.t ‑> 'c) ‑> Sexplib0.Sexp.t ‑> 'a * 'b * 'c

triple_of_sexp conv1 conv2 conv3 sexp converts S-expression sexp to a triple of type 'a * 'b * 'c using conversion functions conv1, conv2, and conv3, which convert S-expressions to values of type 'a, 'b, and 'c respectively.

val list_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> Sexplib0.Sexp.t ‑> 'a list

list_of_sexp conv sexp converts S-expression sexp to a value of type 'a list using conversion function conv, which converts an S-expression to a value of type 'a.

val array_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> Sexplib0.Sexp.t ‑> 'a array

array_of_sexp conv sexp converts S-expression sexp to a value of type 'a array using conversion function conv, which converts an S-expression to a value of type 'a.

val hashtbl_of_sexp : (Sexplib0.Sexp.t ‑> 'a) ‑> (Sexplib0.Sexp.t ‑> 'b) ‑> Sexplib0.Sexp.t ‑> ('a, 'b) Hashtbl.t

hashtbl_of_sexp conv_key conv_value sexp converts S-expression sexp to a value of type ('a, 'b) Hashtbl.t using conversion function conv_key, which converts an S-expression to hashtable key of type 'a, and function conv_value, which converts an S-expression to hashtable value of type 'b.

val opaque_of_sexp : Sexplib0.Sexp.t ‑> 'a

opaque_of_sexp sexp raises Of_sexp_error when attempting to convert an S-expression to an opaque value.

val fun_of_sexp : Sexplib0.Sexp.t ‑> 'a

fun_of_sexp sexp raises Of_sexp_error when attempting to convert an S-expression to a function.

Exception converters

val sexp_of_exn : exn ‑> Sexplib0.Sexp.t

sexp_of_exn exc converts exception exc to an S-expression. If no suitable converter is found, the standard converter in Printexc will be used to generate an atomic S-expression.

val sexp_of_exn_opt : exn ‑> Sexplib0.Sexp.t option

sexp_of_exn_opt exc converts exception exc to Some sexp. If no suitable converter is found, None is returned instead.

module Exn_converter = Sexplib0.Sexp_conv.Exn_converter