Up
Module
Make_bounded
(
Spec
:
Bounded_spec
) :
Bounded
with
type
t
=
private
repr
Functor of creating bounded numbers