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