module Make_bounded: functor (Spec : Bounded_spec) -> Bounded with type t = private repr
functor (
Spec
:
Bounded_spec
) ->
Bounded
with type t = private repr
include Number.Verified_std.Bounded_spec
include Number.Verified_std.S