schema cod_q

typeside t
schema s1 : t
schema s2 : t
query q : s1 -> s2
----------------------------------
schema (cod_q q) : t
	
Returns the range / codomain of a query.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout