def text.enter

ezsys@0.1.0.0 · src/text.bend:59

import Base

59# the mode after an open delimiter's first character, with `left` to pass
60def text.enter(left: Nat) -> Mode:
61  match left:
62    case 0n:
63      InKey{""}
64    case 1n+more:
65      Opening{more}