def AaTmFrame.set_key
import bend-osdev-apparmor@0.1.0.0/token.bend as Tokenimport Base
431def AaTmFrame.set_key(f: AaTmFrame, k: List<&2, U32>) -> Maybe<&2, AaTmFrame>:
432 match f:
433 case AaTmFrame{acc, key}:
434 match key:
435 case None{}:
436 Some{AaTmFrame{acc, Some{k}}}
437 case Some{k0}:
438 None{}