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

import Base

# the mode after an open delimiter's first character, with `left` to pass
def text.enter(left: Nat) -> Mode:
  match left:
    case 0n:
      InKey{""}
    case 1n+more:
      Opening{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