def visit.in
import ezx@1.11.0.0/src/pkg/pkg.bend as Pkgimport Base
963# a module above the checkout's top is refused rather than read: the package
964# would be named after directories of whatever machine walked it
965def visit.in(
966 out: Bool,
967 +tree: Tree,
968 +file: String,
969 +ns: String,
970 eb: String,
971 seen: List<&2, String>,
972 outs: List<&2, Hit>,
973 rest: List<&2, Task>
974) -> State:
975 match out:
976 case True{}:
977 State{seen, outs, Climbs{climbs.name(ns, file)}, rest}
978 case False{}:
979 visit.have(find(tree, file), tree, file, ns, eb, seen, outs, rest)