schema dom_q

typeside t
schema s2 : t
schema s1 : t
query q : s1 -> s2
----------------------------------
schema (dom_q q) : t
	
Returns the domain of a query.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout