def AaFrames.full

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

import Base

1564# the innermost profile frame's full name
1565def AaFrames.full(fs: List<&2, AaFrame>) -> List<&2, U32>:
1566  match fs:
1567    case Nil{}:
1568      Nil{}
1569    case Con{f, t}:
1570      match f:
1571        case AaFrame{p, h, full, q, s}:
1572          match p:
1573            case None{}:
1574              AaFrames.full(t)
1575            case Some{x}:
1576              full