Module Deriving_Bounded.Bounded_unit

module Bounded_unit: Bounded À ,Bounded_bool°ÀZ

type a 
val min_bound : a
val max_bound : a