def AaProfile.add_hat
import bend-osdev-apparmor@0.1.0.0/profile.bend as Profileimport Base
238def AaProfile.add_hat(p: AaProfile, k: AaProfile) -> AaProfile:
239 match p:
240 case AaProfile{n, a, f, r, c, h}:
241 AaProfile{n, a, f, r, c, AaProfile.list_append(h, [k])}