intersect
Replace the TypeRestriction associated with the given L2SemanticValue, which must be known by this manifest, with the intersection of its current restriction and the given restriction. Note that this also restricts any synonymous semantic values.
Parameters
semantic
The given L2SemanticValue.
type
The A_Type to intersect with the synonym.