sig   type base_t   type t   val bounds : base_t bound_t * base_t bound_t   val bounded : (base_t, t) bounding_f   val base_of_t : t -> base_t option   val base_of_t_exn : t -> base_t   module Infix :     sig       val ( + ) : base_t -> base_t -> base_t       val ( - ) : base_t -> base_t -> base_t       val ( * ) : base_t -> base_t -> base_t       val ( / ) : base_t -> base_t -> base_t       val ( ** ) : base_t -> base_t -> base_t       val ( -- ) : base_t -> base_t -> base_t BatEnum.t       val ( --- ) : base_t -> base_t -> base_t BatEnum.t     end end