setRestriction

fun setRestriction(semanticValue: L2SemanticValue, restriction: TypeRestriction)

Replace the TypeRestriction associated with the given L2SemanticValue, which must be known by this manifest. Note that this also restricts any synonymous semantic values.

Parameters

semanticValue

The given L2SemanticValue.

restriction

The TypeRestriction to bound the synonym.