MakeNumeric.1-M
include BoundedType
bounds
defines the (min, max)
bounds for the bounded range
val bounded : (base_t, t) bounding_f
bounded ~bounds x
returns a bounded t
value derived from x
.
module Infix : BatNumber.Infix with type bat__infix_t := base_t