def AaFrames.add_sub.put

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

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

1622def AaFrames.add_sub.put(m: Maybe<&2, PR.AaProfile>, h: Bool, full: List<&2, U32>, q: AaBQ, s: E.AaSrc, t: List<&2, AaFrame>) -> Maybe<&2, List<&2, AaFrame>>:
1623  match m:
1624    case None{}:
1625      None{}
1626    case Some{y}:
1627      Some{Con{AaFrame{Some{y}, h, full, q, s}, t}}

Uses (8)

Used by (1)