Module type BatBounded.NumericSig

module type NumericSig = sig .. end

include BatBounded.S
val (+) : t -> base_u -> t
val (-) : t -> base_u -> t
val ( * ) : t -> base_u -> t
val (/) : t -> base_u -> t
val (+:) : t -> t -> t
val (-:) : t -> t -> t
val ( *: ) : t -> t -> t
val (/:) : t -> t -> t