Merge Example

This example illustrates a transformation operator informally.

Operator

text MG merge

Intuition

A merge combines two or more referents or components into a single unified referent.

Formal authority

The authoritative operator definition is in:

text SE/Transformation/Domain/Operator/Codes.lean SE/Transformation/Domain/Operator/Labels.lean SE/Transformation/Domain/Operator/Semantics.lean

The reference mirror is in: reference/transformation-operators.toml.

Rule

Merge describes combination.