Module type Number.Verified_std.Bounded_spec

module type Bounded_spec = sig .. end
Specification of bounded numbers

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