module Bounded_unit: Bounded Ą ,Bounded_bool°Ą
Bounded
Ą ,Bounded_bool°Ą
type a
val min_bound : a
a
val max_bound : a