Echo.wsp.lead: def of emerging-ezhttp@0.21.0.0
Import: import emerging-ezhttp@0.21.0.0/src/echo.bend as Echo
Lines 24-30 of emerging-ezhttp@0.21.0.0/src/echo.bend: https://jend.leeeet.dev/read.txt?path=emerging-ezhttp@0.21.0.0/src/echo.bend&start_line=24&end_line=30

import Base

# a string without its leading WSP
def wsp.lead(s: String) -> String:
  match s:
    case SNil{}:
      SNil{}
    case SCon{+h, +t}:
      wsp.lead.if(t, h, wsp(h), _u => wsp.lead(t))

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/echo.bend&name=wsp
  https://jend.leeeet.dev/definition.txt?path=emerging-ezhttp@0.21.0.0/src/echo.bend&name=wsp.lead.if