command check_query

schema s2 : t
schema s1 : t
constraints c2 : s2
constraints c1 : s1
query q : s1 -> s2
----------------------------------
command (check_query q c1 c2) : Optional.empty
	
Checks if a query from s1 to s2 with constraints c1 on s1 to c2 on s2 is valid.

Appears in:


Options:

always_reload
num_threads
talg_reduction
timeout