Up
Module type
Deriving_Bounded.Bounded
module type
Bounded =
sig
..
end
type
a
val
min_bound
:
a
val
max_bound
:
a