def AaGExp.step

bend-osdev-apparmor@0.1.0.0 · glob.bend:772

import Base

772def AaGExp.step(e: AaGExp, f: AaGFlat) -> AaGExp:
773  match e:
774    case AaGExp{cur, fs, ok}:
775      match f:
776        case AaGFTok{t}:
777          AaGExp{AaGSeqs.cons(t, cur), fs, ok}
778        case AaGFOpen{}:
779          AaGExp{[Nil{}], Con{AaGFrame{cur, Nil{}, 0n}, fs}, ok}
780        case AaGFSep{}:
781          AaGExp.sep(fs, cur, ok)
782        case AaGFClose{}:
783          AaGExp.close(fs, cur, ok)