Module type Core_extended.Number.Verified_std.Bounded_spec

Specification of bounded numbers

val name : string
val lower : repr
val upper : repr