Module type Core_extended__Number.Make_verified_std.Bounded_spec

Specification of bounded numbers

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