Functor Number.Verified_std.Make_bounded_unsafe

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

Parameters:

Spec : Bounded_spec

include Number.Verified_std.Bounded_spec

include Number.Verified_std.S