option simplify_names

Default: true
Whether to simplify the names of entities etc in schema colimits.

Keyword:

coproduct
schema_colimit_literal
simplify

Appears in:

Demo
FinanceColim1
PharmaColim2
TutorialTSP