module type BoundedType =sig..end
type base_t
type t
val bounds : base_t BatBounded.bound_t *
base_t BatBounded.bound_tbounds defines the (min, max) bounds for the bounded rangeval bounded : (base_t, t)
BatBounded.bounding_f
val base_of_t : t -> base_t optionbase_of_t x converts a value of type BatBounded.BoundedType.t back to a BatBounded.BoundedType.base_t if
possible.val base_of_t_exn : t -> base_tbase_of_t_exn x converts a value of type BatBounded.BoundedType.t back to a BatBounded.BoundedType.base_t. If
a conversion is not possible then an exception will be raised.