Text.text.tail: def of ezsys@0.1.0.0
Import: import ezsys@0.1.0.0/src/text.bend as Text
Lines 51-57 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=51&end_line=57

import Base

# the characters of a delimiter after its first
def text.tail(delim: String) -> Nat:
  match delim:
    case SNil{}:
      0n
    case SCon{_hd, tl}:
      String.length(tl)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.length