Token.AaTmFrame: type of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/token.bend as Token
Lines 400-403 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=400&end_line=403

import Base

# the builder: a stack of open lists (innermost first), each its terms (last
# first) and a key waiting for its value
type AaTmFrame is Data:
  AaTmFrame{acc: List<&2, AaTerm>, key: Maybe<&2, List<&2, U32>>}

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=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaTerm