Str.text.lstrip.if: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 25-37 of ezsys@0.1.0.0/src/str.bend: https://jend.leeeet.dev/read.txt?path=ezsys@0.1.0.0/src/str.bend&start_line=25&end_line=37

import Base

# a character at the start: dropped when it is whitespace, and the rest
# stripped too; else the text is kept from it
def text.lstrip.if(
  sp: Bool,
  hd: Char,
  tl: String,
  more: Unit -> String
) -> String:
  match sp:
    case True{}:
      more(Unit{})
    case False{}:
      SCon{hd, tl}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Char
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit