Parameter Base.Comparable.With_zero.1-T

type t
include sig ... end
val compare : t ‑> t ‑> int
val sexp_of_t : t ‑> Sexp.t
val zero : t
include Validate with type t := t
type 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