def AaTmB.close

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

import Base

487def AaTmB.close(b: AaTmB) -> AaTmB:
488  match b:
489    case AaTmB{fs, ok}:
490      match fs:
491        case Nil{}:
492          AaTmB{Nil{}, False{}}
493        case Con{f, rest}:
494          match f:
495            case AaTmFrame{acc, key}:
496              match key:
497                case None{}:
498                  AaTmB.add(AaTmB{rest, ok}, AaTmList{AaTerm.rev_onto(acc, Nil{})})
499                case Some{k}:
500                  AaTmB{rest, False{}}