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