schema_colimit wrap

typeside t
schema_colimit sc : {}
mapping m1 : getSchema sc -> s
mapping m2 : s -> getSchema sc
----------------------------------
schema_colimit (wrap sc m1 m2)
	
Wraps a colimit of schemas as another schema by providing two mappings witnessing the isomorphism.

Appears in:


Options:

always_reload
num_threads
talg_reduction
timeout