Token.AaTmFrame.add: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/token.bend as Token
Lines 413-420 of bend-osdev-apparmor@0.1.0.0/token.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&start_line=413&end_line=420

import Base

def AaTmFrame.add(f: AaTmFrame, t: AaTerm) -> AaTmFrame:
  match f:
    case AaTmFrame{acc, key}:
      match key:
        case None{}:
          AaTmFrame{Con{t, acc}, None{}}
        case Some{k}:
          AaTmFrame{Con{AaTmCond{k, t}, acc}, None{}}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaTerm
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaTmFrame