sig
val
name : string
val
lower :
Number
.
Verified_std
.repr
val
upper :
Number
.
Verified_std
.repr
end