introduceSynonym

fun introduceSynonym(freshSynonym: L2Synonym, restriction: TypeRestriction)

Capture information about a new L2Synonym and its TypeRestriction. It's an error if any of the semantic values of the synonym are already bound to other synonyms in this manifest.

Parameters

freshSynonym

The new L2Synonym to record.

restriction

The TypeRestriction to constrain the new synonym.