sig   type bounded   val min_num : BatNumber.Bounded.bounded   val max_num : BatNumber.Bounded.bounded end