Module type BatNumber.Bounded


module type Bounded = sig .. end

type bounded 
val min_num : bounded
val max_num : bounded