def paths

bolt@1.27.0.0 · src/role.bend:109

import Base

109# the paths of the files
110def paths(fs: List<&2, Fact>) -> List<&2, String>:
111  match fs:
112    case Nil{}:
113      Nil{}
114    case Con{Fact{norm, _deps, _named, _entry}, rest}:
115      norm <> paths(rest)