sig type a = int64 val eq : a -> a -> bool end