def AaLex.close_paren.go

bend-osdev-apparmor@0.1.0.0 · token.bend:135

import Base

135def AaLex.close_paren.go(p: Nat, st: AaLex) -> AaLex:
136  match p:
137    case 0n:
138      AaLex.fail(st)
139    case 1n+q:
140      match st:
141        case AaLex{m, +l, p0, out, ok, bad}:
142          AaLex{AaLxSpace{}, l, q, Con{AaTRParen{l}, out}, ok, bad}