module Bounded_open_flag: Bounded S nÀeH S u@°ÀgH S nÀhH S u@@
Bounded
S nÀeH S u@°ÀgH S nÀhH S u@@
type a
val min_bound : a
a
val max_bound : a