def AaTerm.is_arrow
import bend-osdev-apparmor@0.1.0.0/token.bend as Tokenimport Base
641def AaTerm.is_arrow(t: AaTerm) -> Bool:
642 match t:
643 case AaTmArrow{}:
644 True{}
645 case _:
646 False{}
import bend-osdev-apparmor@0.1.0.0/token.bend as Tokenimport Base
641def AaTerm.is_arrow(t: AaTerm) -> Bool:
642 match t:
643 case AaTmArrow{}:
644 True{}
645 case _:
646 False{}