schema_colimit schema_colimit_literal

graph g
typeside t
----------------------------------
schema_colimit (literal g : t {})

Computes a colimit of schemas and mappings given by a graph. The option static_typing when disabled causes CQL to type check the colimit at runtime rather than compile time. This will reduce the number of transforms required to compute any particular colimit, at the cost of potential runtime failure. See All_Syntax for an example.

Appears in:

GraphSchColim

Options:

allow_java_eqs_unsafe
always_reload
left_bias
num_threads
simplify_names
talg_reduction
timeout