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