Up
—
package
core_extended
Parameter
Core_extended.Extended_int32.Make_bounded.1-Spec
val
name : string
val
lower :
repr
val
upper :
repr