Member predicate SsaImplicitInit::isParameterDefinition
Holds if the SSA variable is a parameter defined by its initial value in the callable.
predicate isParameterDefinition(Parameter p)Holds if the SSA variable is a parameter defined by its initial value in the callable.
predicate isParameterDefinition(Parameter p)