Up
Module type
Bounded_spec
Specification of bounded numbers
Signature
val
name : string
val
lower :
repr
val
upper :
repr