Member predicate AmdModuleDefinition::dependencyParameter
Holds if p is the parameter corresponding to dependency dep.
predicate dependencyParameter(Expr dep, Parameter p)Holds if p is the parameter corresponding to dependency dep.
predicate dependencyParameter(Expr dep, Parameter p)