sig
type
a
val
min_bound :
Deriving_Bounded
.
Bounded
.a
val
max_bound :
Deriving_Bounded
.
Bounded
.a
end