Module type Bounded.Bounded


module type Bounded = sig .. end

type a 
val min_bound : a
val max_bound : a