~/jendhub

def AaParse.head.make

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

import bend-osdev-apparmor@0.1.0.0/parse.bend as Parse
import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G
import bend-osdev-apparmor@0.1.0.0/error.bend as E
import bend-osdev-apparmor@0.1.0.0/profile.bend as PR

1355def AaParse.head.make(kind: Nat, name: List<&2, U32>, attach: Maybe<&2, G.AaGlob>, r: Result<&2, &2, E.AaError, PR.AaFlags>) -> Result<&2, &2, E.AaError, AaHead>:
1356  match r:
1357    case Fail{e}:
1358      Fail{e}
1359    case Done{f}:
1360      Done{AaHead{kind, name, attach, f, AaBQ.none()}}

Uses (10)

Used by (3)