Functor Number.Verified_std.Make_bounded

module Make_bounded: 
functor (Spec : Bounded_spec) -> Bounded with type t = private repr
Functor of creating bounded numbers
Parameters:
Spec : Bounded_spec

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