def text.leave

ezsys@0.1.0.0 · src/text.bend:67

import Base

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