def AaFile.perms.add

bend-osdev-apparmor@0.1.0.0 · rule_file.bend:280

import Base
import bend-osdev-apparmor@0.1.0.0/perm.bend as P

280def AaFile.perms.add(m: Maybe<&2, P.AaPerms>, l: Maybe<&2, Nat>) -> Maybe<&2, P.AaPerms>:
281  match m:
282    case None{}:
283      None{}
284    case Some{p}:
285      match l:
286        case None{}:
287          None{}
288        case Some{i}:
289          Some{P.AaPerms.add(p, i)}