sig
type base_t
type t
val bounds :
BatBounded.BoundedType.base_t BatBounded.bound_t *
BatBounded.BoundedType.base_t BatBounded.bound_t
val bounded :
(BatBounded.BoundedType.base_t, BatBounded.BoundedType.t)
BatBounded.bounding_f
val base_of_t :
BatBounded.BoundedType.t -> BatBounded.BoundedType.base_t option
val base_of_t_exn :
BatBounded.BoundedType.t -> BatBounded.BoundedType.base_t
end