~/jendhub

def present

ezx@1.11.0.0 · src/ws/workspace.bend:276

import ezx@1.11.0.0/src/ws/workspace.bend as Workspace
import Base

276# whether every entry naming a directory as it is names one that is there
277def present(es: List<&2, Entry>, +found: List<&2, List<&2, String>>) -> Bool:
278  match es:
279    case []:
280      True{}
281    case +hd <> tl:
282      rest = present(tl, found)
283      Bool.and(present.one(hd, found), rest)

Uses (6)

Used by (1)