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