Up
—
package
core_extended
Module type
Core_extended.Number.Make_verified_std.Bounded_spec
Specification of bounded numbers
val
name : string
val
lower :
repr
val
upper :
repr