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

import Base

# the mode after a close delimiter's first character, with `left` to pass
def text.leave(left: Nat) -> Mode:
  match left:
    case 0n:
      Plain{}
    case 1n+more:
      Closing{more}

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=ezsys@0.1.0.0/src/text.bend&name=Mode