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.