module MakeNumeric:functor (M:BoundedNumericType) ->NumericSigwith type base_u = M.base_twith type u = M.twith type t = private M.t
| Parameters: |
|
include BatBounded.S
val (+) : t -> base_u -> tval (-) : t -> base_u -> tval ( * ) : t -> base_u -> tval (/) : t -> base_u -> tval (+:) : t -> t -> tval (-:) : t -> t -> tval ( *: ) : t -> t -> tval (/:) : t -> t -> t