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