option coproduct_allow_entity_collisions_unsafe

Default: false
The generators and labelled nulls of instances participating in a coproduct are required to be unique. This option disables the uniqueness check. It is marked unsafe because it can result in an instance that is not a coproduct, but is rather a coproduct followed by a quotient.


Appears in: