Module type Deriving_Bounded.Bounded

module type Bounded = sig .. end

type a 
val min_bound : a
val max_bound : a