~/jendhub

def AaTmFrame.add

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

import bend-osdev-apparmor@0.1.0.0/token.bend as Token
import Base

413def AaTmFrame.add(f: AaTmFrame, t: AaTerm) -> AaTmFrame:
414  match f:
415    case AaTmFrame{acc, key}:
416      match key:
417        case None{}:
418          AaTmFrame{Con{t, acc}, None{}}
419        case Some{k}:
420          AaTmFrame{Con{AaTmCond{k, t}, acc}, None{}}

Uses (4)

Used by (1)