Token.AaTerm.texts: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/token.bend as Token
Lines 628-639 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=628&end_line=639

import Base

def AaTerm.texts(t: AaTerm) -> Maybe<&2, List<&2, List<&2, U32>>>:
  match t:
    case AaTmWord{w}:
      Some{[w]}
    case AaTmQuoted{q}:
      Some{[q]}
    case AaTmList{xs}:
      AaTerm.texts.go(xs)
    case AaTmCond{k, v}:
      None{}
    case AaTmArrow{}:
      None{}

Uses (5):
  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
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/token.bend&name=AaTerm.texts.go