def dead
import near-v-framework@0.4.0.0/domain/architecture/system/release/ops.bend as Opsimport Base
128# The first source file nothing reaches, "" when there is none.
129def dead(fs: List<&2, String>, +reached: List<&2, String>) -> String:
130 match fs:
131 case []:
132 ""
133 case +f <> rest:
134 Bool.pick(String, is_source(f) && Bool.not(List.contains(~String, ~String.eq, reached, f)), f, dead(rest, reached))