Predicate signature InputSig::completionIsValidFor
Holds if c is a valid completion for AST node n.
signature predicate completionIsValidFor(Completion c, AstNode n)Holds if c is a valid completion for AST node n.
signature predicate completionIsValidFor(Completion c, AstNode n)