Module Deriving_Bounded.Bounded_bool

type a = bool
val min_bound : a
val max_bound : a