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