typeside t schema s1 : t schema s2 : t mapping m : s2 -> s1 instance i : s1 instance j : s1 transform h : i -> j ---------------------------------- transform (delta m h) : delta m i -> delta m jComputes the transform delta(F,I) to delta(F,J) from a transform I to J