Module `Ocamlformat_stdlib`Source

include module type of Base

Sourcemodule Applicative = Base.Applicative

Sourcemodule Array = Base.Array

Sourcemodule Avltree = Base.Avltree

Sourcemodule Backtrace = Base.Backtrace

Sourcemodule Binary_search = Base.Binary_search

Sourcemodule Binary_searchable = Base.Binary_searchable

Sourcemodule Blit = Base.Blit

Sourcemodule Bool = Base.Bool

Sourcemodule Buffer = Base.Buffer

Sourcemodule Bytes = Base.Bytes

Sourcemodule Char = Base.Char

Sourcemodule Comparable = Base.Comparable

Sourcemodule Comparator = Base.Comparator

Sourcemodule Comparisons = Base.Comparisons

Sourcemodule Container = Base.Container

Sourcemodule Dynamic = Base.Dynamic

Sourcemodule Either = Base.Either

Sourcemodule Equal = Base.Equal

Sourcemodule Error : sig ... end

Sourcemodule Exn = Base.Exn

Sourcemodule Field = Base.Field

Sourcemodule Float = Base.Float

Sourcemodule Floatable = Base.Floatable

Sourcemodule Fn = Base.Fn

Sourcemodule Formatter = Base.Formatter

Sourcemodule Hash = Ppx_hash_lib.Std.Hash

Sourcemodule Hash_set = Base.Hash_set

Sourcemodule Hashable = Base.Hashable

Sourcemodule Hasher = Base.Hasher

Sourcemodule Hashtbl = Base.Hashtbl

Sourcemodule Iarray = Base.Iarray

Sourcemodule Identifiable = Base.Identifiable

Sourcemodule Indexed_container = Base.Indexed_container

Sourcemodule Info = Base.Info

Sourcemodule Int = Base.Int

Sourcemodule Int32 = Base.Int32

Sourcemodule Int63 = Base.Int63

Sourcemodule Int64 = Base.Int64

Sourcemodule Intable = Base.Intable

Sourcemodule Int_math = Base.Int_math

Sourcemodule Invariant = Base.Invariant

Sourcemodule Dictionary_immutable = Base.Dictionary_immutable

Sourcemodule Dictionary_mutable = Base.Dictionary_mutable

Sourcemodule Lazy = Base.Lazy

Sourcemodule Map = Base.Map

Sourcemodule Maybe_bound = Base.Maybe_bound

Sourcemodule Modes = Base.Modes

Sourcemodule Monad = Base.Monad

Sourcemodule Nativeint = Base.Nativeint

Sourcemodule Nothing = Base.Nothing

Sourcemodule Obj = Base.Obj

Sourcemodule Option = Base.Option

Sourcemodule Option_array = Base.Option_array

Sourcemodule Or_error = Base.Or_error

Sourcemodule Or_null = Base.Or_null

Sourcemodule Or_nullable = Base.Or_nullable

Sourcemodule Ordered_collection_common = Base.Ordered_collection_common

Sourcemodule Ordering = Base.Ordering

Sourcemodule Poly = Base.Poly

Sourcemodule Portability_hacks = Basement.Portability_hacks

Sourcemodule Portable_lazy = Base.Portable_lazy

Sourcemodule Pretty_printer = Base.Pretty_printer

Sourcemodule Printf = Base.Printf

Sourcemodule Linked_queue = Base.Linked_queue

Sourcemodule Nonempty_list = Base.Nonempty_list

Sourcemodule Queue = Base.Queue

Sourcemodule Random = Base.Random

Sourcemodule Ref = Base.Ref

Sourcemodule Result = Base.Result

Sourcemodule Sequence = Base.Sequence

Sourcemodule Set = Base.Set

Sourcemodule Sexp = Base.Sexp

Sourcemodule Sexpable = Base.Sexpable

Sourcemodule Sign = Base.Sign

Sourcemodule Sign_or_nan = Base.Sign_or_nan

Sourcemodule Source_code_position = Base.Source_code_position

Sourcemodule Stack = Base.Stack

Sourcemodule Staged = Base.Staged

Sourcemodule Stringable = Base.Stringable

Sourcemodule Sys = Base.Sys

Sourcemodule T = Base.T

Sourcemodule Type_equal = Base.Type_equal

Sourcemodule Uniform_array = Base.Uniform_array

Sourcemodule Unit = Base.Unit

Sourcemodule Uchar = Base.Uchar

Sourcemodule Variant = Base.Variant

Sourcemodule With_return = Base.With_return

Sourcemodule Word_size = Base.Word_size

include module type of struct include T end

Sourcemodule type T = T.T

Sourcemodule type T1__any = T.T1__any

Sourcemodule type T1__value = T.T1__value

Sourcemodule type T1 = T.T1

Sourcemodule type T1__value_or_null = T.T1__value_or_null

Sourcemodule type T2__any__any = T.T2__any__any

Sourcemodule type T2__any__value = T.T2__any__value

Sourcemodule type T2__any__value_or_null = T.T2__any__value_or_null

Sourcemodule type T2__value__any = T.T2__value__any

Sourcemodule type T2__value__value = T.T2__value__value

Sourcemodule type T2 = T.T2

Sourcemodule type T2__value__value_or_null = T.T2__value__value_or_null

Sourcemodule type T2__value_or_null__any = T.T2__value_or_null__any

Sourcemodule type T2__value_or_null__value = T.T2__value_or_null__value

Source

module type T2__value_or_null__value_or_null =
  T.T2__value_or_null__value_or_null

Sourcemodule type T3__any__any__any = T.T3__any__any__any

Sourcemodule type T4__any__any__any__any = T.T4__any__any__any__any

Sourcemodule type T4__any__any__any__value = T.T4__any__any__any__value

Sourcemodule type T3__any__any__value = T.T3__any__any__value

Sourcemodule type T4__any__any__value__any = T.T4__any__any__value__any

Sourcemodule type T4__any__any__value__value = T.T4__any__any__value__value

Sourcemodule type T3__any__value__any = T.T3__any__value__any

Sourcemodule type T4__any__value__any__any = T.T4__any__value__any__any

Sourcemodule type T4__any__value__any__value = T.T4__any__value__any__value

Sourcemodule type T3__any__value__value = T.T3__any__value__value

Sourcemodule type T4__any__value__value__any = T.T4__any__value__value__any

Sourcemodule type T4__any__value__value__value = T.T4__any__value__value__value

Sourcemodule type T3__value__any__any = T.T3__value__any__any

Sourcemodule type T4__value__any__any__any = T.T4__value__any__any__any

Sourcemodule type T4__value__any__any__value = T.T4__value__any__any__value

Sourcemodule type T3__value__any__value = T.T3__value__any__value

Sourcemodule type T4__value__any__value__any = T.T4__value__any__value__any

Sourcemodule type T4__value__any__value__value = T.T4__value__any__value__value

Sourcemodule type T3__value__value__any = T.T3__value__value__any

Sourcemodule type T4__value__value__any__any = T.T4__value__value__any__any

Sourcemodule type T4__value__value__any__value = T.T4__value__value__any__value

Sourcemodule type T3 = T.T3

Sourcemodule type T4__value__value__value__any = T.T4__value__value__value__any

Sourcemodule type T4 = T.T4

Sourcemodule Int_conversions : sig ... end

Sourcemodule Export : sig ... end

include module type of struct include Export end

Sourcetype ('a : any mod separable) array = 'a Array.t

include sig ... end

Source

val compare_array : 
  ('a : value_or_null mod separable). ('a -> 'a -> int) ->
  'a Array.t ->
  'a Array.t ->
  int

Source

val compare_array__local : 
  ('a : value_or_null mod separable). ('a @ local -> 'a @ local -> int) ->
  'a Array.t @ local ->
  'a Array.t @ local ->
  int

Source

val equal_array : 
  ('a : value_or_null mod separable). ('a -> 'a -> bool) ->
  'a Array.t ->
  'a Array.t ->
  bool

Source

val equal_array__local : 
  ('a : value_or_null mod separable). ('a @ local -> 'a @ local -> bool) ->
  'a Array.t @ local ->
  'a Array.t @ local ->
  bool

Source

val globalize_array : 
  ('a : value_or_null mod separable). ('a @ local -> 'a) ->
  'a Array.t @ local ->
  'a Array.t

Source

val sexp_of_array : 
  ('a : value_or_null mod separable). ('a -> Sexplib0.Sexp.t) ->
  'a Array.t ->
  Sexplib0.Sexp.t

Source

val sexp_of_array__stack : 
  ('a : value_or_null mod separable). ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a Array.t @ local ->
  Sexplib0.Sexp.t @ local

Source

val array_of_sexp : 
  ('a : value_or_null mod separable). (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a Array.t

Source

val array_sexp_grammar : 
  ('a : value_or_null mod separable). 'a Sexplib0.Sexp_grammar.t ->
  'a Array.t Sexplib0.Sexp_grammar.t @@ portable

Sourcetype nonrec floatarray = floatarray

Sourceval globalize_floatarray : floatarray @ local -> floatarray

Sourceval floatarray_of_sexp : Sexplib0.Sexp.t -> floatarray

Sourceval sexp_of_floatarray : floatarray -> Sexplib0.Sexp.t

Sourceval sexp_of_floatarray__stack : floatarray @ local -> Sexplib0.Sexp.t @ local

Sourceval floatarray_sexp_grammar : floatarray Sexplib0.Sexp_grammar.t

Sourcetype bool = Bool.t

Sourceval compare_bool__local : bool @ local -> bool @ local -> int

Sourceval compare_bool : bool -> bool -> int

Sourceval equal_bool__local : bool @ local -> bool @ local -> bool

Sourceval equal_bool : bool -> bool -> bool

Sourceval globalize_bool : bool @ local -> bool

Source

val hash_fold_bool : 
  Ppx_hash_lib.Std.Hash.state ->
  bool ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_bool : bool -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval bool_of_sexp : Sexplib0.Sexp.t -> bool

Sourceval bool_u_of_sexp : Sexplib0.Sexp.t -> bool#

Sourceval sexp_of_bool : bool -> Sexplib0.Sexp.t

Sourceval sexp_of_bool_u : bool# -> Sexplib0.Sexp.t

Sourceval sexp_of_bool__stack : bool @ local -> Sexplib0.Sexp.t @ local

Sourceval sexp_of_bool_u__stack : bool# @ local -> Sexplib0.Sexp.t @ local

Sourceval bool_sexp_grammar : bool Sexplib0.Sexp_grammar.t

Sourcetype char = Char.t

Sourceval compare_char__local : char @ local -> char @ local -> int

Sourceval compare_char : char -> char -> int

Sourceval equal_char__local : char @ local -> char @ local -> bool

Sourceval equal_char : char -> char -> bool

Sourceval globalize_char : char @ local -> char

Source

val hash_fold_char : 
  Ppx_hash_lib.Std.Hash.state ->
  char ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_char : char -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval char_of_sexp : Sexplib0.Sexp.t -> char

Sourceval char_u_of_sexp : Sexplib0.Sexp.t -> char#

Sourceval sexp_of_char : char -> Sexplib0.Sexp.t

Sourceval sexp_of_char_u : char# -> Sexplib0.Sexp.t

Sourceval sexp_of_char__stack : char @ local -> Sexplib0.Sexp.t @ local

Sourceval sexp_of_char_u__stack : char# @ local -> Sexplib0.Sexp.t @ local

Sourceval char_sexp_grammar : char Sexplib0.Sexp_grammar.t

Sourcetype exn = Exn.t

Sourceval sexp_of_exn : exn -> Sexplib0.Sexp.t

Sourcetype float = Float.t

Sourceval compare_float__local : float @ local -> float @ local -> int

Sourceval compare_float : float -> float -> int

Sourceval equal_float__local : float @ local -> float @ local -> bool

Sourceval equal_float : float -> float -> bool

Sourceval globalize_float : float @ local -> float

Source

val hash_fold_float : 
  Ppx_hash_lib.Std.Hash.state ->
  float ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_float : float -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval float_of_sexp : Sexplib0.Sexp.t -> float

Sourceval float_u_of_sexp : Sexplib0.Sexp.t -> float#

Sourceval sexp_of_float : float -> Sexplib0.Sexp.t

Sourceval sexp_of_float_u : float# -> Sexplib0.Sexp.t

Sourceval sexp_of_float__stack : float @ local -> Sexplib0.Sexp.t @ local

Sourceval sexp_of_float_u__stack : float# @ local -> Sexplib0.Sexp.t @ local

Sourceval float_sexp_grammar : float Sexplib0.Sexp_grammar.t

Sourcetype ('a : any mod separable) iarray = 'a Iarray.t

include sig ... end

Sourceval compare_iarray : 'a. ('a -> 'a -> int) -> 'a Iarray.t -> 'a Iarray.t -> int

Source

val compare_iarray__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a Iarray.t @ local ->
  'a Iarray.t @ local ->
  int

Sourceval equal_iarray : 'a. ('a -> 'a -> bool) -> 'a Iarray.t -> 'a Iarray.t -> bool

Source

val equal_iarray__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a Iarray.t @ local ->
  'a Iarray.t @ local ->
  bool

Source

val globalize_iarray : 
  'a. ('a @ local -> 'a) ->
  'a Iarray.t @ local ->
  'a Iarray.t

Source

val hash_fold_iarray : 
  'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a Iarray.t ->
  Ppx_hash_lib.Std.Hash.state

Sourceval sexp_of_iarray : ('a -> Sexplib0.Sexp.t) -> 'a Iarray.t -> Sexplib0.Sexp.t

Source

val sexp_of_iarray__stack : 
  ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a Iarray.t @ local ->
  Sexplib0.Sexp.t @ local

Sourceval iarray_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a Iarray.t

Source

val iarray_sexp_grammar : 
  'a. 'a Sexplib0.Sexp_grammar.t ->
  'a Iarray.t Sexplib0.Sexp_grammar.t @@ portable

Sourcetype int = Int.t

Sourceval compare_int__local : int @ local -> int @ local -> int

Sourceval compare_int : int -> int -> int

Sourceval equal_int__local : int @ local -> int @ local -> bool

Sourceval equal_int : int -> int -> bool

Sourceval globalize_int : int @ local -> int

Source

val hash_fold_int : 
  Ppx_hash_lib.Std.Hash.state ->
  int ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_int : int -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval int_of_sexp : Sexplib0.Sexp.t -> int

Sourceval sexp_of_int : int -> Sexplib0.Sexp.t

Sourceval sexp_of_int__stack : int @ local -> Sexplib0.Sexp.t @ local

Sourceval int_sexp_grammar : int Sexplib0.Sexp_grammar.t

Sourcetype int32 = Int32.t

Sourceval compare_int32__local : int32 @ local -> int32 @ local -> int

Sourceval compare_int32 : int32 -> int32 -> int

Sourceval equal_int32__local : int32 @ local -> int32 @ local -> bool

Sourceval equal_int32 : int32 -> int32 -> bool

Sourceval globalize_int32 : int32 @ local -> int32

Source

val hash_fold_int32 : 
  Ppx_hash_lib.Std.Hash.state ->
  int32 ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_int32 : int32 -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval int32_of_sexp : Sexplib0.Sexp.t -> int32

Sourceval int32_u_of_sexp : Sexplib0.Sexp.t -> int32#

Sourceval sexp_of_int32 : int32 -> Sexplib0.Sexp.t

Sourceval sexp_of_int32_u : int32# -> Sexplib0.Sexp.t

Sourceval sexp_of_int32__stack : int32 @ local -> Sexplib0.Sexp.t @ local

Sourceval sexp_of_int32_u__stack : int32# @ local -> Sexplib0.Sexp.t @ local

Sourceval int32_sexp_grammar : int32 Sexplib0.Sexp_grammar.t

Sourcetype int64 = Int64.t

Sourceval compare_int64__local : int64 @ local -> int64 @ local -> int

Sourceval compare_int64 : int64 -> int64 -> int

Sourceval equal_int64__local : int64 @ local -> int64 @ local -> bool

Sourceval equal_int64 : int64 -> int64 -> bool

Sourceval globalize_int64 : int64 @ local -> int64

Source

val hash_fold_int64 : 
  Ppx_hash_lib.Std.Hash.state ->
  int64 ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_int64 : int64 -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval int64_of_sexp : Sexplib0.Sexp.t -> int64

Sourceval int64_u_of_sexp : Sexplib0.Sexp.t -> int64#

Sourceval sexp_of_int64 : int64 -> Sexplib0.Sexp.t

Sourceval sexp_of_int64_u : int64# -> Sexplib0.Sexp.t

Sourceval sexp_of_int64__stack : int64 @ local -> Sexplib0.Sexp.t @ local

Sourceval sexp_of_int64_u__stack : int64# @ local -> Sexplib0.Sexp.t @ local

Sourceval int64_sexp_grammar : int64 Sexplib0.Sexp_grammar.t

Source

type ('a : value_or_null) list =
  'a {List}9/shadowed/(aa5c9144bc3af62befd122e34a2991af).t

Source

val compare_list__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a list @ local ->
  'a list @ local ->
  int

Sourceval compare_list : 'a. ('a -> 'a -> int) -> 'a list -> 'a list -> int

Source

val equal_list__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a list @ local ->
  'a list @ local ->
  bool

Sourceval equal_list : 'a. ('a -> 'a -> bool) -> 'a list -> 'a list -> bool

Sourceval globalize_list : 'a. ('a @ local -> 'a) -> 'a list @ local -> 'a list

Source

val hash_fold_list : 
  'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a list ->
  Ppx_hash_lib.Std.Hash.state

Sourceval list_of_sexp : 'a. (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a list

Sourceval sexp_of_list : 'a. ('a -> Sexplib0.Sexp.t) -> 'a list -> Sexplib0.Sexp.t

Source

val sexp_of_list__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a list @ local ->
  Sexplib0.Sexp.t @ local

Source

val list_sexp_grammar : 
  'a. 'a Sexplib0.Sexp_grammar.t ->
  'a list Sexplib0.Sexp_grammar.t

Sourcetype nativeint = Nativeint.t

Sourceval compare_nativeint__local : nativeint @ local -> nativeint @ local -> int

Sourceval compare_nativeint : nativeint -> nativeint -> int

Sourceval equal_nativeint__local : nativeint @ local -> nativeint @ local -> bool

Sourceval equal_nativeint : nativeint -> nativeint -> bool

Sourceval globalize_nativeint : nativeint @ local -> nativeint

Source

val hash_fold_nativeint : 
  Ppx_hash_lib.Std.Hash.state ->
  nativeint ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_nativeint : nativeint -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval nativeint_of_sexp : Sexplib0.Sexp.t -> nativeint

Sourceval nativeint_u_of_sexp : Sexplib0.Sexp.t -> nativeint#

Sourceval sexp_of_nativeint : nativeint -> Sexplib0.Sexp.t

Sourceval sexp_of_nativeint_u : nativeint# -> Sexplib0.Sexp.t

Sourceval sexp_of_nativeint__stack : nativeint @ local -> Sexplib0.Sexp.t @ local

Sourceval sexp_of_nativeint_u__stack : nativeint# @ local -> Sexplib0.Sexp.t @ local

Sourceval nativeint_sexp_grammar : nativeint Sexplib0.Sexp_grammar.t

Sourcetype ('a : value_or_null) option = 'a Option.t

Source

val compare_option__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a option @ local ->
  'a option @ local ->
  int

Sourceval compare_option : 'a. ('a -> 'a -> int) -> 'a option -> 'a option -> int

Source

val equal_option__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a option @ local ->
  'a option @ local ->
  bool

Sourceval equal_option : 'a. ('a -> 'a -> bool) -> 'a option -> 'a option -> bool

Sourceval globalize_option : 'a. ('a @ local -> 'a) -> 'a option @ local -> 'a option

Source

val hash_fold_option : 
  'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a option ->
  Ppx_hash_lib.Std.Hash.state

Source

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

Source

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

Source

val sexp_of_option__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a option @ local ->
  Sexplib0.Sexp.t @ local

Source

val option_sexp_grammar : 
  'a. 'a Sexplib0.Sexp_grammar.t ->
  'a option Sexplib0.Sexp_grammar.t

Sourcetype nonrec ('a : bits64) option__bits64

Sourceand ('a : bits32) option__bits32

Sourceand ('a : word) option__word

Sourceand ('a : float64) option__float64

Sourceand ('a : float32) option__float32

Source

val compare_option__bits64__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a option__bits64 @ local ->
  'a option__bits64 @ local ->
  int

Source

val compare_option__bits32__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a option__bits32 @ local ->
  'a option__bits32 @ local ->
  int

Source

val compare_option__word__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a option__word @ local ->
  'a option__word @ local ->
  int

Source

val compare_option__float64__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a option__float64 @ local ->
  'a option__float64 @ local ->
  int

Source

val compare_option__float32__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a option__float32 @ local ->
  'a option__float32 @ local ->
  int

Source

val compare_option__bits64 : 
  'a. ('a -> 'a -> int) ->
  'a option__bits64 ->
  'a option__bits64 ->
  int

Source

val compare_option__bits32 : 
  'a. ('a -> 'a -> int) ->
  'a option__bits32 ->
  'a option__bits32 ->
  int

Source

val compare_option__word : 
  'a. ('a -> 'a -> int) ->
  'a option__word ->
  'a option__word ->
  int

Source

val compare_option__float64 : 
  'a. ('a -> 'a -> int) ->
  'a option__float64 ->
  'a option__float64 ->
  int

Source

val compare_option__float32 : 
  'a. ('a -> 'a -> int) ->
  'a option__float32 ->
  'a option__float32 ->
  int

Source

val equal_option__bits64__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a option__bits64 @ local ->
  'a option__bits64 @ local ->
  bool

Source

val equal_option__bits32__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a option__bits32 @ local ->
  'a option__bits32 @ local ->
  bool

Source

val equal_option__word__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a option__word @ local ->
  'a option__word @ local ->
  bool

Source

val equal_option__float64__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a option__float64 @ local ->
  'a option__float64 @ local ->
  bool

Source

val equal_option__float32__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a option__float32 @ local ->
  'a option__float32 @ local ->
  bool

Source

val equal_option__bits64 : 
  'a. ('a -> 'a -> bool) ->
  'a option__bits64 ->
  'a option__bits64 ->
  bool

Source

val equal_option__bits32 : 
  'a. ('a -> 'a -> bool) ->
  'a option__bits32 ->
  'a option__bits32 ->
  bool

Source

val equal_option__word : 
  'a. ('a -> 'a -> bool) ->
  'a option__word ->
  'a option__word ->
  bool

Source

val equal_option__float64 : 
  'a. ('a -> 'a -> bool) ->
  'a option__float64 ->
  'a option__float64 ->
  bool

Source

val equal_option__float32 : 
  'a. ('a -> 'a -> bool) ->
  'a option__float32 ->
  'a option__float32 ->
  bool

Source

val option_of_sexp__bits64 : 
  'a. (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a option__bits64

Source

val option_of_sexp__bits32 : 
  'a. (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a option__bits32

Source

val option_of_sexp__word : 
  'a. (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a option__word

Source

val option_of_sexp__float64 : 
  'a. (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a option__float64

Source

val option_of_sexp__float32 : 
  'a. (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a option__float32

Source

val sexp_of_option__bits64 : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a option__bits64 ->
  Sexplib0.Sexp.t

Source

val sexp_of_option__bits32 : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a option__bits32 ->
  Sexplib0.Sexp.t

Source

val sexp_of_option__word : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a option__word ->
  Sexplib0.Sexp.t

Source

val sexp_of_option__float64 : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a option__float64 ->
  Sexplib0.Sexp.t

Source

val sexp_of_option__float32 : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a option__float32 ->
  Sexplib0.Sexp.t

Source

val sexp_of_option__bits64__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a option__bits64 @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_option__bits32__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a option__bits32 @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_option__word__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a option__word @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_option__float64__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a option__float64 @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_option__float32__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a option__float32 @ local ->
  Sexplib0.Sexp.t @ local

Sourcetype (('a : value_or_null), ('b : value_or_null)) result = ('a, 'b) Result.t

Source

val compare_result__local : 
  'a 'b. ('a @ local -> 'a @ local -> int) ->
  ('b @ local -> 'b @ local -> int) ->
  ('a, 'b) result @ local ->
  ('a, 'b) result @ local ->
  int

Source

val compare_result : 
  'a 'b. ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) result ->
  ('a, 'b) result ->
  int

Source

val equal_result__local : 
  'a 'b. ('a @ local -> 'a @ local -> bool) ->
  ('b @ local -> 'b @ local -> bool) ->
  ('a, 'b) result @ local ->
  ('a, 'b) result @ local ->
  bool

Source

val equal_result : 
  'a 'b. ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) result ->
  ('a, 'b) result ->
  bool

Source

val globalize_result : 
  'a 'b. ('a @ local -> 'a) ->
  ('b @ local -> 'b) ->
  ('a, 'b) result @ local ->
  ('a, 'b) result

Source

val hash_fold_result : 
  '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) result ->
  Ppx_hash_lib.Std.Hash.state

Source

val result_of_sexp : 
  'a 'b. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) result

Source

val sexp_of_result : 
  'a 'b. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) result ->
  Sexplib0.Sexp.t

Source

val sexp_of_result__stack : 
  'a 'b. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  ('b @ local -> Sexplib0.Sexp.t @ local) ->
  ('a, 'b) result @ local ->
  Sexplib0.Sexp.t @ local

Source

val result_sexp_grammar : 
  'a 'b. 'a Sexplib0.Sexp_grammar.t ->
  'b Sexplib0.Sexp_grammar.t ->
  ('a, 'b) result Sexplib0.Sexp_grammar.t

Sourcetype nonrec (('a : bits64), ('b : value_or_null)) result__bits64

Sourceand (('a : bits32), ('b : value_or_null)) result__bits32

Sourceand (('a : word), ('b : value_or_null)) result__word

Sourceand (('a : float64), ('b : value_or_null)) result__float64

Sourceand (('a : float32), ('b : value_or_null)) result__float32

Source

val compare_result__bits64__local : 
  'a 'b. ('a @ local -> 'a @ local -> int) ->
  ('b @ local -> 'b @ local -> int) ->
  ('a, 'b) result__bits64 @ local ->
  ('a, 'b) result__bits64 @ local ->
  int

Source

val compare_result__bits32__local : 
  'a 'b. ('a @ local -> 'a @ local -> int) ->
  ('b @ local -> 'b @ local -> int) ->
  ('a, 'b) result__bits32 @ local ->
  ('a, 'b) result__bits32 @ local ->
  int

Source

val compare_result__word__local : 
  'a 'b. ('a @ local -> 'a @ local -> int) ->
  ('b @ local -> 'b @ local -> int) ->
  ('a, 'b) result__word @ local ->
  ('a, 'b) result__word @ local ->
  int

Source

val compare_result__float64__local : 
  'a 'b. ('a @ local -> 'a @ local -> int) ->
  ('b @ local -> 'b @ local -> int) ->
  ('a, 'b) result__float64 @ local ->
  ('a, 'b) result__float64 @ local ->
  int

Source

val compare_result__float32__local : 
  'a 'b. ('a @ local -> 'a @ local -> int) ->
  ('b @ local -> 'b @ local -> int) ->
  ('a, 'b) result__float32 @ local ->
  ('a, 'b) result__float32 @ local ->
  int

Source

val compare_result__bits64 : 
  'a 'b. ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) result__bits64 ->
  ('a, 'b) result__bits64 ->
  int

Source

val compare_result__bits32 : 
  'a 'b. ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) result__bits32 ->
  ('a, 'b) result__bits32 ->
  int

Source

val compare_result__word : 
  'a 'b. ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) result__word ->
  ('a, 'b) result__word ->
  int

Source

val compare_result__float64 : 
  'a 'b. ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) result__float64 ->
  ('a, 'b) result__float64 ->
  int

Source

val compare_result__float32 : 
  'a 'b. ('a -> 'a -> int) ->
  ('b -> 'b -> int) ->
  ('a, 'b) result__float32 ->
  ('a, 'b) result__float32 ->
  int

Source

val equal_result__bits64__local : 
  'a 'b. ('a @ local -> 'a @ local -> bool) ->
  ('b @ local -> 'b @ local -> bool) ->
  ('a, 'b) result__bits64 @ local ->
  ('a, 'b) result__bits64 @ local ->
  bool

Source

val equal_result__bits32__local : 
  'a 'b. ('a @ local -> 'a @ local -> bool) ->
  ('b @ local -> 'b @ local -> bool) ->
  ('a, 'b) result__bits32 @ local ->
  ('a, 'b) result__bits32 @ local ->
  bool

Source

val equal_result__word__local : 
  'a 'b. ('a @ local -> 'a @ local -> bool) ->
  ('b @ local -> 'b @ local -> bool) ->
  ('a, 'b) result__word @ local ->
  ('a, 'b) result__word @ local ->
  bool

Source

val equal_result__float64__local : 
  'a 'b. ('a @ local -> 'a @ local -> bool) ->
  ('b @ local -> 'b @ local -> bool) ->
  ('a, 'b) result__float64 @ local ->
  ('a, 'b) result__float64 @ local ->
  bool

Source

val equal_result__float32__local : 
  'a 'b. ('a @ local -> 'a @ local -> bool) ->
  ('b @ local -> 'b @ local -> bool) ->
  ('a, 'b) result__float32 @ local ->
  ('a, 'b) result__float32 @ local ->
  bool

Source

val equal_result__bits64 : 
  'a 'b. ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) result__bits64 ->
  ('a, 'b) result__bits64 ->
  bool

Source

val equal_result__bits32 : 
  'a 'b. ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) result__bits32 ->
  ('a, 'b) result__bits32 ->
  bool

Source

val equal_result__word : 
  'a 'b. ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) result__word ->
  ('a, 'b) result__word ->
  bool

Source

val equal_result__float64 : 
  'a 'b. ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) result__float64 ->
  ('a, 'b) result__float64 ->
  bool

Source

val equal_result__float32 : 
  'a 'b. ('a -> 'a -> bool) ->
  ('b -> 'b -> bool) ->
  ('a, 'b) result__float32 ->
  ('a, 'b) result__float32 ->
  bool

Source

val result_of_sexp__bits64 : 
  'a 'b. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) result__bits64

Source

val result_of_sexp__bits32 : 
  'a 'b. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) result__bits32

Source

val result_of_sexp__word : 
  'a 'b. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) result__word

Source

val result_of_sexp__float64 : 
  'a 'b. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) result__float64

Source

val result_of_sexp__float32 : 
  'a 'b. (Sexplib0.Sexp.t -> 'a) ->
  (Sexplib0.Sexp.t -> 'b) ->
  Sexplib0.Sexp.t ->
  ('a, 'b) result__float32

Source

val sexp_of_result__bits64 : 
  'a 'b. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) result__bits64 ->
  Sexplib0.Sexp.t

Source

val sexp_of_result__bits32 : 
  'a 'b. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) result__bits32 ->
  Sexplib0.Sexp.t

Source

val sexp_of_result__word : 
  'a 'b. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) result__word ->
  Sexplib0.Sexp.t

Source

val sexp_of_result__float64 : 
  'a 'b. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) result__float64 ->
  Sexplib0.Sexp.t

Source

val sexp_of_result__float32 : 
  'a 'b. ('a -> Sexplib0.Sexp.t) ->
  ('b -> Sexplib0.Sexp.t) ->
  ('a, 'b) result__float32 ->
  Sexplib0.Sexp.t

Source

val sexp_of_result__bits64__stack : 
  'a 'b. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  ('b @ local -> Sexplib0.Sexp.t @ local) ->
  ('a, 'b) result__bits64 @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_result__bits32__stack : 
  'a 'b. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  ('b @ local -> Sexplib0.Sexp.t @ local) ->
  ('a, 'b) result__bits32 @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_result__word__stack : 
  'a 'b. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  ('b @ local -> Sexplib0.Sexp.t @ local) ->
  ('a, 'b) result__word @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_result__float64__stack : 
  'a 'b. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  ('b @ local -> Sexplib0.Sexp.t @ local) ->
  ('a, 'b) result__float64 @ local ->
  Sexplib0.Sexp.t @ local

Source

val sexp_of_result__float32__stack : 
  'a 'b. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  ('b @ local -> Sexplib0.Sexp.t @ local) ->
  ('a, 'b) result__float32 @ local ->
  Sexplib0.Sexp.t @ local

Sourcetype ('a : value_or_null) ref = 'a Ref.t

Source

val compare_ref__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a ref @ local ->
  'a ref @ local ->
  int

Sourceval compare_ref : 'a. ('a -> 'a -> int) -> 'a ref -> 'a ref -> int

Source

val equal_ref__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a ref @ local ->
  'a ref @ local ->
  bool

Sourceval equal_ref : 'a. ('a -> 'a -> bool) -> 'a ref -> 'a ref -> bool

Sourceval globalize_ref : 'a. ('a @ local -> 'a) -> 'a ref @ local -> 'a ref

Sourceval ref_of_sexp : 'a. (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a ref

Sourceval sexp_of_ref : 'a. ('a -> Sexplib0.Sexp.t) -> 'a ref -> Sexplib0.Sexp.t

Source

val sexp_of_ref__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a ref @ local ->
  Sexplib0.Sexp.t @ local

Source

val ref_sexp_grammar : 
  'a. 'a Sexplib0.Sexp_grammar.t ->
  'a ref Sexplib0.Sexp_grammar.t

Sourcetype string = Base.String.t

Sourceval compare_string__local : string @ local -> string @ local -> int

Sourceval compare_string : string -> string -> int

Sourceval equal_string__local : string @ local -> string @ local -> bool

Sourceval equal_string : string -> string -> bool

Source

val hash_fold_string : 
  Ppx_hash_lib.Std.Hash.state ->
  string ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_string : string -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval string_of_sexp : Sexplib0.Sexp.t -> string

Sourceval sexp_of_string : string -> Sexplib0.Sexp.t

Sourceval sexp_of_string__stack : string @ local -> Sexplib0.Sexp.t @ local

Sourceval string_sexp_grammar : string Sexplib0.Sexp_grammar.t

Sourceval globalize_string : string @ local -> string @ unique

Sourcetype bytes = Bytes.t

Sourceval compare_bytes__local : bytes @ local -> bytes @ local -> int

Sourceval compare_bytes : bytes -> bytes -> int

Sourceval equal_bytes__local : bytes @ local -> bytes @ local -> bool

Sourceval equal_bytes : bytes -> bytes -> bool

Sourceval bytes_of_sexp : Sexplib0.Sexp.t -> bytes

Sourceval sexp_of_bytes : bytes -> Sexplib0.Sexp.t

Sourceval sexp_of_bytes__stack : bytes @ local -> Sexplib0.Sexp.t @ local

Sourceval bytes_sexp_grammar : bytes Sexplib0.Sexp_grammar.t

Sourceval globalize_bytes : bytes @ local -> bytes @ unique

Sourcetype unit = Unit.t

Sourceval compare_unit__local : unit @ local -> unit @ local -> int

Sourceval compare_unit : unit -> unit -> int

Sourceval equal_unit__local : unit @ local -> unit @ local -> bool

Sourceval equal_unit : unit -> unit -> bool

Sourceval globalize_unit : unit @ local -> unit

Source

val hash_fold_unit : 
  Ppx_hash_lib.Std.Hash.state ->
  unit ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_unit : unit -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval unit_of_sexp : Sexplib0.Sexp.t -> unit

Sourceval unit_u_of_sexp : Sexplib0.Sexp.t -> unit#

Sourceval sexp_of_unit : unit -> Sexplib0.Sexp.t

Sourceval sexp_of_unit_u : unit# -> Sexplib0.Sexp.t

Sourceval sexp_of_unit__stack : unit @ local -> Sexplib0.Sexp.t @ local

Sourceval sexp_of_unit_u__stack : unit# @ local -> Sexplib0.Sexp.t @ local

Sourceval unit_sexp_grammar : unit Sexplib0.Sexp_grammar.t

Format stuff

Sourcetype nonrec ('a, 'b, 'c) format = ('a, 'b, 'c) format

Sourcetype nonrec ('a, 'b, 'c, 'd) format4 = ('a, 'b, 'c, 'd) format4

Sourcetype nonrec ('a, 'b, 'c, 'd, 'e, 'f) format6 = ('a, 'b, 'c, 'd, 'e, 'f) format6

List operators

include module type of struct include Base.List.Infix end

Source

val (@) : 
  ('a : value_or_null). 'a Base.List.t ->
  'a Base.List.t ->
  'a Base.List.t

Iarray operators

include module type of struct include Iarray.O end

Source

val (.:()) : 
  ('a : any mod separable). 'a Basement.Stdlib_iarray_labels.t ->
  int ->
  'a

An alias for get.

Int operators and comparisons

include module type of struct include Int.O end

Sourceval (+) : Base.Int.t -> Base.Int.t -> Base.Int.t

Sourceval (-) : Base.Int.t -> Base.Int.t -> Base.Int.t

Sourceval (*) : Base.Int.t -> Base.Int.t -> Base.Int.t

Sourceval (/) : Base.Int.t -> Base.Int.t -> Base.Int.t

Sourceval (~-) : Base.Int.t -> Base.Int.t

Sourceval (**) : Base.Int.t @ local -> Base.Int.t @ local -> Base.Int.t

Sourceval (land) : Base.Int.t -> Base.Int.t -> Base.Int.t

Sourceval (lor) : Base.Int.t -> Base.Int.t -> Base.Int.t

Sourceval (lxor) : Base.Int.t -> Base.Int.t -> Base.Int.t

Sourceval lnot : Base.Int.t @ local -> Base.Int.t

Sourceval abs : Base.Int.t -> Base.Int.t

Sourceval abs_local : Base.Int.t @ local -> Base.Int.t @ local

Sourceval neg : Base.Int.t -> Base.Int.t

Sourceval zero : Base.Int.t

Sourceval (%) : Base.Int.t @ local -> Base.Int.t @ local -> Base.Int.t

Sourceval (/%) : Base.Int.t @ local -> Base.Int.t @ local -> Base.Int.t

Sourceval (//) : Base.Int.t @ local -> Base.Int.t @ local -> float

Sourceval (lsl) : Base.Int.t -> int -> Base.Int.t

Sourceval (asr) : Base.Int.t -> int -> Base.Int.t

Sourceval (lsr) : Base.Int.t -> int -> Base.Int.t

Sourceval (=) : int -> int -> bool @@ portable

Sourceval (<>) : int -> int -> bool @@ portable

Sourceval (<) : int -> int -> bool @@ portable

Sourceval (>) : int -> int -> bool @@ portable

Sourceval (<=) : int -> int -> bool @@ portable

Sourceval (>=) : int -> int -> bool @@ portable

Sourceval compare : int -> int -> int @@ portable

Sourceval compare__local : int -> int -> int @@ portable

Sourceval equal : int -> int -> bool @@ portable

Sourceval equal__local : int -> int -> bool @@ portable

Sourceval ascending : int -> int -> int @@ portable

Sourceval descending : int -> int -> int @@ portable

Sourceval max : int -> int -> int @@ portable

Sourceval min : int -> int -> int @@ portable

Float operators

include module type of struct include Float.O_dot end

Sourceval (+.) : Base.Float.t -> Base.Float.t -> Base.Float.t

Sourceval (-.) : Base.Float.t -> Base.Float.t -> Base.Float.t

Sourceval (*.) : Base.Float.t -> Base.Float.t -> Base.Float.t

Sourceval (/.) : Base.Float.t -> Base.Float.t -> Base.Float.t

Sourceval (%.) : Base.Float.t -> Base.Float.t -> Base.Float.t

Sourceval (**.) : Base.Float.t -> Base.Float.t -> Base.Float.t

Sourceval (~-.) : Base.Float.t -> Base.Float.t

Sourceval (|>) : ('a : any) ('b : any). 'a -> ('a -> 'b) -> 'b @@ portable

Reverse application operator. x |> g |> f is equivalent to f (g (x)).

Sourceval (@@) : ('a : any) ('b : any). ('a -> 'b) -> 'a -> 'b @@ portable

Application operator. g @@ f @@ x is equivalent to g (f (x)).

Boolean operations

Sourceval (&&) : bool -> bool -> bool @@ portable

Sourceval (||) : bool -> bool -> bool @@ portable

Sourceval not : bool -> bool @@ portable

Sourceval ignore : ('a : any). 'a @ once immutable -> unit @@ portable

Sourceval (^) : Base.String.t @ local -> Base.String.t @ local -> Base.String.t

Common string operations

Reference operations

Sourceval (!) : ('a : value_or_null). 'a ref -> 'a @@ stateless

Sourceval ref : ('a : value_or_null). 'a -> 'a ref @@ stateless

Sourceval (:=) : ('a : value_or_null). 'a ref -> 'a -> unit @@ stateless

Pair operations

Source

val fst : 
  ('a : value_or_null) ('b : value_or_null). ('a * 'b) ->
  'a @@ portable

Source

val snd : 
  ('a : value_or_null) ('b : value_or_null). ('a * 'b) ->
  'b @@ portable

Exceptions stuff

Sourceval raise : ('a : value_or_null). exn -> 'a @ unique portable @@ stateless

Sourceval failwith : string -> 'a @ unique portable

Sourceval invalid_arg : string -> 'a @ unique portable

Sourceval raise_s : Sexplib0.Sexp.t -> 'a @ portable

Misc

Source

val phys_equal : 
  ('a : value_or_null). 'a @ contended ->
  'a @ contended ->
  bool @@ portable

Sourceval force : 'a Lazy.t -> 'a @@ portable

Sourcetype 'a or_null = 'a Or_null.t

Source

val compare_or_null__local : 
  'a. ('a @ local -> 'a @ local -> int) ->
  'a or_null @ local ->
  'a or_null @ local ->
  int

Sourceval compare_or_null : 'a. ('a -> 'a -> int) -> 'a or_null -> 'a or_null -> int

Source

val equal_or_null__local : 
  'a. ('a @ local -> 'a @ local -> bool) ->
  'a or_null @ local ->
  'a or_null @ local ->
  bool

Sourceval equal_or_null : 'a. ('a -> 'a -> bool) -> 'a or_null -> 'a or_null -> bool

Source

val globalize_or_null : 
  'a. ('a @ local -> 'a) ->
  'a or_null @ local ->
  'a or_null

Source

val hash_fold_or_null : 
  'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a or_null ->
  Ppx_hash_lib.Std.Hash.state

Source

val or_null_of_sexp : 
  'a. (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a or_null

Source

val sexp_of_or_null : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a or_null ->
  Sexplib0.Sexp.t

Source

val sexp_of_or_null__stack : 
  'a. ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a or_null @ local ->
  Sexplib0.Sexp.t @ local

Sourceval maybe_globalize : ('a @ local -> 'a) -> 'a @ local -> 'a

Sourceval maybe_globalize__stack : ('a @ local -> 'a) -> 'a @ local -> 'a @ local

Sourcemodule Continue_or_stop = Container.Export.Continue_or_stop

Continue_or_stop.t is used by the f argument to fold_until in order to indicate whether folding should continue, or stop early.

Source

type ('a : value_or_null) global : value_or_null mod global =
  'a Base.Modes.Global.t =
  {

global : 'a @@ global;

}

Source

val compare_global : 
  ('a : value_or_null). ('a -> 'a -> int) ->
  'a global ->
  'a global ->
  int

Source

val compare_global__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> int) ->
  'a global @ local ->
  'a global @ local ->
  int

Source

val equal_global : 
  ('a : value_or_null). ('a -> 'a -> bool) ->
  'a global ->
  'a global ->
  bool

Source

val equal_global__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> bool) ->
  'a global @ local ->
  'a global @ local ->
  bool

Source

val hash_fold_global : 
  ('a : value_or_null). (Ppx_hash_lib.Std.Hash.state ->
                          'a ->
                          Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a global ->
  Ppx_hash_lib.Std.Hash.state

Source

val sexp_of_global : 
  ('a : value_or_null). ('a -> Sexplib0.Sexp.t) ->
  'a global ->
  Sexplib0.Sexp.t

Source

val sexp_of_global__stack : 
  ('a : value_or_null). ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a global @ local ->
  Sexplib0.Sexp.t @ local

Source

val global_of_sexp : 
  ('a : value_or_null). (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a global

Source

val global_sexp_grammar : 
  ('a : value_or_null). 'a Sexplib0.Sexp_grammar.t ->
  'a global Sexplib0.Sexp_grammar.t @@ portable

Source

type ('a : value_or_null) portable : value_or_null mod portable =
  'a Base.Modes.Portable.t =
  {

portable : 'a @@ portable;

}

Source

val compare_portable : 
  ('a : value_or_null). ('a -> 'a -> int) ->
  'a portable ->
  'a portable ->
  int

Source

val compare_portable__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> int) ->
  'a portable @ local ->
  'a portable @ local ->
  int

Source

val equal_portable : 
  ('a : value_or_null). ('a -> 'a -> bool) ->
  'a portable ->
  'a portable ->
  bool

Source

val equal_portable__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> bool) ->
  'a portable @ local ->
  'a portable @ local ->
  bool

Source

val hash_fold_portable : 
  ('a : value_or_null). (Ppx_hash_lib.Std.Hash.state ->
                          'a ->
                          Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a portable ->
  Ppx_hash_lib.Std.Hash.state

Source

val sexp_of_portable : 
  ('a : value_or_null). ('a -> Sexplib0.Sexp.t) ->
  'a portable ->
  Sexplib0.Sexp.t

Source

val sexp_of_portable__stack : 
  ('a : value_or_null). ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a portable @ local ->
  Sexplib0.Sexp.t @ local

Source

val portable_sexp_grammar : 
  ('a : value_or_null). 'a Sexplib0.Sexp_grammar.t ->
  'a portable Sexplib0.Sexp_grammar.t @@ portable

Source

type ('a : value_or_null) contended : value_or_null mod contended =
  'a Base.Modes.Contended.t =
  {

contended : 'a @@ contended;

}

Source

val contended_of_sexp : 
  ('a : value_or_null). (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a contended

Sourcetype ('a : value_or_null) shared = 'a Base.Modes.Shared.t = {

shared : 'a @@ shared;

}

Source

val shared_of_sexp : 
  ('a : value_or_null). (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a shared

Source

type ('a : value_or_null) portended : value_or_null mod contended portable =
  'a Base.Modes.Portended.t =
  {

portended : 'a @@ portable contended;

}

Source

type ('a : value_or_null) many : value_or_null mod many = 'a Base.Modes.Many.t =
  {

many : 'a @@ many;

}

Source

val compare_many : 
  ('a : value_or_null). ('a -> 'a -> int) ->
  'a many ->
  'a many ->
  int

Source

val compare_many__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> int) ->
  'a many @ local ->
  'a many @ local ->
  int

Source

val equal_many : 
  ('a : value_or_null). ('a -> 'a -> bool) ->
  'a many ->
  'a many ->
  bool

Source

val equal_many__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> bool) ->
  'a many @ local ->
  'a many @ local ->
  bool

Source

val hash_fold_many : 
  ('a : value_or_null). (Ppx_hash_lib.Std.Hash.state ->
                          'a ->
                          Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a many ->
  Ppx_hash_lib.Std.Hash.state

Source

val sexp_of_many : 
  ('a : value_or_null). ('a -> Sexplib0.Sexp.t) ->
  'a many ->
  Sexplib0.Sexp.t

Source

val sexp_of_many__stack : 
  ('a : value_or_null). ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a many @ local ->
  Sexplib0.Sexp.t @ local

Source

val many_sexp_grammar : 
  ('a : value_or_null). 'a Sexplib0.Sexp_grammar.t ->
  'a many Sexplib0.Sexp_grammar.t @@ portable

Source

type ('a : value_or_null) aliased : value_or_null mod aliased =
  'a Base.Modes.Aliased.t =
  {

aliased : 'a @@ aliased;

}

Source

type ('a : value_or_null) aliased_many : value_or_null mod aliased many =
  'a Base.Modes.Aliased_many.t =
  {

aliased_many : 'a @@ many aliased;

}

Source

type ('a : value_or_null) forkable : value_or_null mod forkable =
  'a Base.Modes.Forkable.t =
  {

forkable : 'a @@ forkable;

}

Source

type ('a : value_or_null) unyielding : value_or_null mod unyielding =
  'a Base.Modes.Unyielding.t =
  {

unyielding : 'a @@ unyielding;

}

Source

val compare_unyielding : 
  ('a : value_or_null). ('a -> 'a -> int) ->
  'a unyielding ->
  'a unyielding ->
  int

Source

val compare_unyielding__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> int) ->
  'a unyielding @ local ->
  'a unyielding @ local ->
  int

Source

val equal_unyielding : 
  ('a : value_or_null). ('a -> 'a -> bool) ->
  'a unyielding ->
  'a unyielding ->
  bool

Source

val equal_unyielding__local : 
  ('a : value_or_null). ('a @ local -> 'a @ local -> bool) ->
  'a unyielding @ local ->
  'a unyielding @ local ->
  bool

Source

val hash_fold_unyielding : 
  ('a : value_or_null). (Ppx_hash_lib.Std.Hash.state ->
                          'a ->
                          Ppx_hash_lib.Std.Hash.state) ->
  Ppx_hash_lib.Std.Hash.state ->
  'a unyielding ->
  Ppx_hash_lib.Std.Hash.state

Source

val sexp_of_unyielding : 
  ('a : value_or_null). ('a -> Sexplib0.Sexp.t) ->
  'a unyielding ->
  Sexplib0.Sexp.t

Source

val sexp_of_unyielding__stack : 
  ('a : value_or_null). ('a @ local -> Sexplib0.Sexp.t @ local) ->
  'a unyielding @ local ->
  Sexplib0.Sexp.t @ local

Source

val unyielding_of_sexp : 
  ('a : value_or_null). (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a unyielding

Source

val unyielding_sexp_grammar : 
  ('a : value_or_null). 'a Sexplib0.Sexp_grammar.t ->
  'a unyielding Sexplib0.Sexp_grammar.t @@ portable

Source

type ('a : value_or_null) stateless : value_or_null mod stateless =
  'a Base.Modes.Stateless.t =
  {

stateless : 'a @@ stateless;

}

Sourcetype ('a : value_or_null) reading = 'a Base.Modes.Reading.t = {

reading : 'a @@ reading;

}

Source

type ('a : value_or_null) immutable : value_or_null mod immutable =
  'a Base.Modes.Immutable.t =
  {

immutable : 'a @@ immutable;

}

Sourcetype ('a : value_or_null) read = 'a Base.Modes.Read.t = {

read : 'a @@ read;

}

Source

type ('a : value mod non_float) immutable_data : immutable_data =
  'a Base.Modes.Immutable_data.t =
  {

immutable_data : 'a @@ forkable unyielding many stateless immutable;

}

include module type of struct include Ppx_enumerate_lib.Export end

Sourceval all_of_bool : bool list

Sourceval all_of_unit : unit list

Sourceval all_of_option : 'a list -> 'a option list

Sourceval all_of_or_null : 'a list -> 'a Basement.Or_null_shim.t list

Sourceexception Not_found_s of Sexplib0.Sexp.t

include module type of Stdio

Sourcemodule In_channel = Stdio.In_channel

Sourcemodule Out_channel = Stdio.Out_channel

Sourceval stdin : In_channel.t @@ portable

Same as In_channel.stdin

Sourceval stdout : Out_channel.t @@ portable

Same as Out_channel.stdout

Sourceval stderr : Out_channel.t @@ portable

Same as Out_channel.stderr

Sourceval printf : ('a, Out_channel.t, Base.unit) Base.format -> 'a @@ portable

Same as Out_channel.printf

Sourceval print_s : ?mach:Base.unit -> Base.Sexp.t @ local -> Base.unit @@ portable

Same as Out_channel.print_s

Sourceval eprint_s : ?mach:Base.unit -> Base.Sexp.t @ local -> Base.unit @@ portable

Same as Out_channel.eprint_s

Sourceval eprintf : ('a, Out_channel.t, Base.unit) Base.format -> 'a @@ portable

Same as Out_channel.eprintf

Sourceval print_string : Base.string @ local -> Base.unit @@ portable

Same as Out_channel.print_string

Sourceval print_endline : Base.string @ local -> Base.unit @@ portable

Same as Out_channel.print_endline

Sourceval prerr_endline : Base.string @ local -> Base.unit @@ portable

Same as Out_channel.prerr_endline

Sourcemodule Fpath : sig ... end

Sourcemodule List : sig ... end

Sourcemodule String : sig ... end

Sourcemodule Warning : sig ... end

Sourcemodule Format = Format

Sourcemodule Filename = Filename

Sourceval (>>) : ('a -> 'b) -> ('b -> 'c) -> 'a -> 'c

Composition of functions: (f >> g) x is exactly equivalent to g (f (x)). Left associative.

Sourceval impossible : string -> _

Indicate why the call is expected to be impossible.

Sourceval check : ('a -> _) -> 'a -> 'a

Asserting identity: check f x asserts that f x does not raise and returns x.

Module Ocamlformat_stdlibSource

Module `Ocamlformat_stdlib`Source