Argv.free_of: def of snap@1.4.0.0
Import: import snap@1.4.0.0/src/argv.bend as Argv
Lines 18-25 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=18&end_line=25

import Base

# whether a string holds no copy of a char
def free_of(text: String, +sep: Char) -> Bool:
  match text:
    case SNil{}:
      True{}
    case SCon{ch, tail}:
      rest = free_of(tail, sep)
      Bool.and(Bool.not(Char.is_eq(ch, 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=Bool.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char.is_eq
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String