~/jendhub

def reached

bolt@1.27.0.0 · src/rules/laws/law.bend:154

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

154# what the laws reach: the walk from the empty key over the graph, built once
155def reached(+es: List<&2, Imports.Edge>) -> List<&2, String>:
156  Imports.closure.go(es, Imports.paths(es), List.length(&2, Imports.Edge, es), "")

Uses (6)

Used by (1)