typeside t schema s1 : t schema s2 : t schema s3 : t mapping m12 : s1 -> s2 mapping m32 : s3 -> s2 ---------------------------------- query (fromCoSpan m12 m32) : s1 -> s3Computes the query that when evaluated will pi along the first mapping then delta along the second.