Module type Bounded.Bounded

module type Bounded = sig .. end

type a 

val min_bound : a

val max_bound : a