sig
type
a =
Pervasives
.open_flag
val
min_bound : a
val
max_bound : a
end