Module type BatNumber.Bounded

type bounded
val min_num : bounded
val max_num : bounded