def AaFrames.has_profile

bend-osdev-apparmor@0.1.0.0 · parse.bend:1650

import Base

1650def AaFrames.has_profile(fs: List<&2, AaFrame>) -> Bool:
1651  match fs:
1652    case Nil{}:
1653      False{}
1654    case Con{f, t}:
1655      match f:
1656        case AaFrame{p, h, full, q, s}:
1657          match p:
1658            case None{}:
1659              AaFrames.has_profile(t)
1660            case Some{x}:
1661              True{}