sig
type
t = int * int
end