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