module Bounded_bool: Bounded A@@ÀF N Q@°‘ ¡A
Bounded
A@@ÀF N Q@°‘ ¡A
type a
val min_bound : a
a
val max_bound : a