Module type Number.Verified_std.Bounded_spec

module type Bounded_spec = sig .. end

val name : string

val lower : Number.Verified_std.repr

val upper : Number.Verified_std.repr