mapping getMapping

typeside t
schema s : t
schema_colimit sc : {}
----------------------------------
mapping (getMapping coproduct s : t s) : s -> getSchema coproduct s : t
	
Get the mapping to an input schema in a schema colimit.

Appears in:

Demo
TutorialTSP

Options:

always_reload
num_threads
talg_reduction
timeout