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