Functor Number.Verified_std.Make_bounded_unsafe

module Make_bounded_unsafe (Spec : Bounded_spec) : Bounded  with type t = repr

Parameters:

Spec : Bounded_spec

include Number.Verified_std.Bounded_spec

include Number.Verified_std.S