Parameter Base__.Comparable.With_zero.1-T

type t
include sig ... end
val compare : t ‑> t ‑> int
val sexp_of_t : t ‑> Base.Sexp.t
val zero : t
include Validate with type t := t
type t
val validate_lbound : min:t Base.Maybe_bound.t ‑> t Base.Validate.check
val validate_ubound : max:t Base.Maybe_bound.t ‑> t Base.Validate.check
val validate_bound : min:t Base.Maybe_bound.t ‑> max:t Base.Maybe_bound.t ‑> t Base.Validate.check