query toQuery

typeside t
schema s1 : t
schema s2 : t
mapping m : s1 -> s2
----------------------------------
query (toQuery m ) : s2 -> s1
Returns the query that, when evaluated, has the same effect as a delta. And we co-evaluated, as sigma.

Appears in:

All_Syntax

Options:

always_reload
dont_validate_unsafe
num_threads
query_remove_redundancy
talg_reduction
timeout