def AaTerm.is_arrow

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

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

641def AaTerm.is_arrow(t: AaTerm) -> Bool:
642  match t:
643    case AaTmArrow{}:
644      True{}
645    case _:
646      False{}

Uses (2)

Used by (1)