~/jendhub

def deps.spec

bolt@1.27.0.0 · src/rules/imports.bend:76

import bolt@1.27.0.0/src/rules/imports.bend as Imports
import Base

76# what the file at p imports (nothing when it was not read): the spec
77# deps.first is proven against (src/rules/PROOF.bend imp.deps)
78def deps.spec(es: List<&2, Edge>, +pp: String) -> List<&2, String>:
79  match es:
80    case Nil{}:
81      Nil{}
82    case Con{Edge{+ep, ds}, rest}:
83      +more = deps.spec(rest, pp)  # noqa: C003 the spec deps.first is proven against; only walk.spec runs it
84      Bool.pick(List<&2, String>, String.eq(ep, pp), ds, more)

Uses (5)

Used by (1)