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