val hash_fold_t : Hash.state ‑> t ‑> Hash.state
val hash : t ‑> Hash.hash_value
val t_of_sexp : Sexplib0.Sexp.t ‑> Sexplib0.Sexp.t
val sexp_of_t : Sexplib0.Sexp.t ‑> Sexplib0.Sexp.t
val equal : Sexplib0.Sexp.t ‑> Sexplib0.Sexp.t ‑> bool
val compare : Sexplib0.Sexp.t ‑> Sexplib0.Sexp.t ‑> int
exception
Not_found_s of Sexplib0.Sexp.t
exception
Of_sexp_error of exn * Sexplib0.Sexp.t
val message : string ‑> (string * Sexplib0.Sexp.t) list ‑> Sexplib0.Sexp.t
val pp_hum : Format.formatter ‑> Sexplib0.Sexp.t ‑> unit
val pp_hum_indent : int ‑> Format.formatter ‑> Sexplib0.Sexp.t ‑> unit
val pp_mach : Format.formatter ‑> Sexplib0.Sexp.t ‑> unit
val pp : Format.formatter ‑> Sexplib0.Sexp.t ‑> unit
val to_string_hum : ?indent:int ‑> Sexplib0.Sexp.t ‑> string
val to_string_mach : Sexplib0.Sexp.t ‑> string
val to_string : Sexplib0.Sexp.t ‑> string
module Private = Base__Sexp.Private
include Comparable.S with type t := t
include Base__.Comparable_intf.Polymorphic_compare
ascending
is identical to compare
. descending x y = ascending y x
. These are
intended to be mnemonic when used like List.sort ~compare:ascending
and List.sort
~cmp:descending
, since they cause the list to be sorted in ascending or descending
order, respectively.
clamp_exn t ~min ~max
returns t'
, the closest value to t
such that
between t' ~low:min ~high:max
is true.
Raises if not (min <= max)
.
val clamp : t ‑> min:t ‑> max:t ‑> t Or_error.t
include Comparator.S with type t := t
val comparator : (t, comparator_witness) Comparator.comparator
include Base__.Comparable_intf.Validate with type t := t
val validate_lbound : min:t Maybe_bound.t ‑> t Validate.check
val validate_ubound : max:t Maybe_bound.t ‑> t Validate.check
val validate_bound : min:t Maybe_bound.t ‑> max:t Maybe_bound.t ‑> t Validate.check