package base
Legend:
Library
Module
Module type
Parameter
Class
Class type
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
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