Module type Number.Verified_std.Bounded

module type Bounded = sig .. end
Signature of bounded numbers

include Number.Verified_std.Bounded_spec
include Number.Verified_std.S