sig
type
t = { x : int; y : int; }
end