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