Str.text.rstrip.put: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/str.bend as Str
Lines 55-62 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=55&end_line=62

import Base

# a character before the stripped rest: when nothing is left after it, it
# goes too if it is whitespace
def text.rstrip.put(+hd: Char, rule: String) -> String:
  match rule:
    case SNil{}:
      text.rstrip.lone(text.space(hd), hd)
    case SCon{a, b}:
      SCon{hd, SCon{a, b}}

Uses (4):
  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=ezsys@0.1.0.0/src/str.bend&name=text.rstrip.lone
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/str.bend&name=text.space