def AaTmB.result

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

import Base

540def AaTmB.result(b: AaTmB) -> Maybe<&2, List<&2, AaTerm>>:
541  match b:
542    case AaTmB{fs, ok}:
543      match fs:
544        case Nil{}:
545          None{}
546        case Con{f, rest}:
547          match f:
548            case AaTmFrame{acc, key}:
549              match key:
550                case None{}:
551                  match rest:
552                    case Nil{}:
553                      match ok:
554                        case True{}:
555                          Some{AaTerm.rev_onto(acc, Nil{})}
556                        case False{}:
557                          None{}
558                    case Con{g, more}:
559                      None{}
560                case Some{k}:
561                  None{}