sig
type
t = float * float
end