option left_bias
Default: false
Use the left-biased schema colimit renaming algorithm.
Keyword:
coproduct
schema_colimit_literal
Appears in: