def free_of.all

snap@1.4.0.0 · src/argv.bend:27

import Base

27# whether no string of a list holds a copy of a char
28def free_of.all(ps: List<&2, String>, +sep: Char) -> Bool:
29  match ps:
30    case []:
31      True{}
32    case pc <> pt:
33      rest = free_of.all(pt, sep)
34      Bool.and(free_of(pc, sep), rest)