def AaBuild.push.qual
bend-osdev-apparmor@0.1.0.0 · parse.bend:1702
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
1702def AaBuild.push.qual(r: Result<&2, &2, E.AaError, AaBQ>, fs: List<&2, AaFrame>, top: List<&2, PR.AaProfile>, err: Maybe<&2, E.AaError>, src: E.AaSrc) -> AaBuild:
1703 match r:
1704 case Fail{e}:
1705 AaBuild.fail(AaBuild{fs, top, err}, e)
1706 case Done{q}:
1707 AaBuild{Con{AaFrame{None{}, False{}, Nil{}, q, src}, fs}, top, err}