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