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