Argv.free_of.all: def of snap@1.4.0.0
Import: import snap@1.4.0.0/src/argv.bend as Argv
Lines 27-34 of snap@1.4.0.0/src/argv.bend: https://jend.leeeet.dev/read.txt?path=snap@1.4.0.0/src/argv.bend&start_line=27&end_line=34

import Base

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/src/argv.bend&name=free_of