def AaTmB.add

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

import Base

422def AaTmB.add(b: AaTmB, t: AaTerm) -> AaTmB:
423  match b:
424    case AaTmB{fs, ok}:
425      match fs:
426        case Nil{}:
427          AaTmB{Nil{}, False{}}
428        case Con{f, rest}:
429          AaTmB{Con{AaTmFrame.add(f, t), rest}, ok}