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