Module `Ocamlformat_stdlib.Export`Source

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

include sig ... end

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

Module Ocamlformat_stdlib.ExportSource

Module `Ocamlformat_stdlib.Export`Source