query fromCoSpan

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

Appears in:

All_Syntax

Options:

always_reload
dont_validate_unsafe
num_threads
query_remove_redundancy
talg_reduction
timeout