Text.text.free: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/text.bend as Text
Lines 189-196 of ezsys@0.1.0.0/src/text.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/text.bend&start_line=189&end_line=196

import Base

# whether no close delimiter starts at any character of key, in key ++ after
def text.free(+close: String, key: String, +after: String) -> Bool:
  match key:
    case SNil{}:
      True{}
    case SCon{+hd, +tl}:
      text.all(Bool.not(String.starts_with(SCon{hd, tl ++ after}, close)),
        _u => text.free(close, tl, after))

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.not
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.starts_with
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/text.bend&name=text.all