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