sig
type
a = int
val
min_bound : a
val
max_bound : a
end