Module type BatBounded.BoundedNumericType

module type BoundedNumericType = sig .. end

include BatBounded.BoundedType

module Infix: BatNumber.Infix  with type bat__infix_t := base_t