def dbs.mgo

bend-osdev-apparmor@0.1.0.0 · PROOF.bend:3759

import Base
import bend-osdev-apparmor@0.1.0.0/rule_dbus.bend as RD

3759def dbs.mgo(+hit: Bool, +r: RD.AaDbusRule, +a: List<&2, RD.AaDbusRule>, +b: List<&2, RD.AaDbusRule>) -> {RD.AaDbusRule.matching.go(hit, r, RD.AaDbusRule.append(a, b)) == RD.AaDbusRule.append(RD.AaDbusRule.matching.go(hit, r, a), b) : List<&2, RD.AaDbusRule>}:
3760  match hit:
3761    case True{}:
3762      {==}
3763    case False{}:
3764      {==}