Functor Number.Verified_std.Make_bounded

module Make_bounded (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