schema cod_m

typeside t
schema s2 : t
schema s1 : t
mapping m : s1 -> s2
----------------------------------
schema (cod_m m) : t
	
Returns the range / codomain of a mapping.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout