~/jendhub

def search

bolt@1.27.0.0 · src/rules/correctness/pick.bend:370

import bolt@1.27.0.0/src/rules/correctness/pick.bend as Pick
import Base
import bolt@1.27.0.0/src/src.bend as Src
import bolt@1.27.0.0/src/finding.bend as F
import bolt@1.27.0.0/src/rules/calls.bend as Calls

370# the rule's other half, run beside check: every search bound above its
371# pick, def by def
372def search(ss: Src.Src) -> List<&2, F.Finding>:
373  Src.Src{path, text, toks, tree, bound, items} = ss
374  search.go(Calls.defs(tree), path, [])

Uses (5)

Used by (1)