Previous Up

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