Parameter With_zero.1-T

type t
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