Module type BatNumber.Bounded

module type Bounded = sig .. end

type t 

val min_num : t

val max_num : t