Up
Module
Make_bounded_unsafe
(
Spec
:
Bounded_spec
) :
Bounded
with
type
t
=
repr