Member predicate SelfInstanceInternal :: parameterAndContext
predicate
parameterAndContext
(
ParameterDefinition
def
,
PointsToContext
context
)