transform unit_query

typeside t
schema s1 : t
schema s2 : t
query q : s2 -> s1
instance i : s1
----------------------------------
transform (unit_query q i) : i -> eval q coeval q i
	
Computes the round trip transform from I to eval(Q,co-eval(Q,I)).

Appears in:

Pushout

Options:

allow_empty_sorts_unsafe
allow_java_eqs_unsafe
always_reload
completion_compose
completion_filter_subsumed
completion_precedence
completion_sort
completion_syntactic_ac
completion_unfailing
dont_verify_is_appropriate_for_prover_unsafe
e_path
e_use_auto
eval_approx_sql_unsafe
eval_join_selectivity
eval_max_plan_depth
eval_max_temp_size
eval_reorder_joins
eval_sql_persistent_indices
eval_use_indices
eval_use_sql_above
maedmax_path
num_threads
program_allow_nonconfluence_unsafe
program_allow_nontermination_unsafe
prover
prover_simplify_max
query_remove_redundancy
require_consistency
second_prover
start_ids_at
talg_reduction
timeout
triviality_check_best_effort
vampire_path
varchar_length