schema dom_m

typeside t
schema s2 : t
schema s1 : t
mapping m : s1 -> s2
----------------------------------
schema (dom_m m) : t
	
Returns the domain of a mapping.

Appears in:

All_Syntax

Options:

always_reload
num_threads
talg_reduction
timeout