SymbolMapping
A mapping between two symbols along a SignatureMorphism
Fields
signatureMorphism (
SignatureMorphism!)
The SignatureMorphism to which this SymbolMapping belongs
source (
Symbol!)
The source symbol
target (
Symbol!)
The target symbol