def chg.mgo

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

import Base
import bend-osdev-apparmor@0.1.0.0/rule_change_profile.bend as RX

3802def chg.mgo(+hit: Bool, +r: RX.AaChangeRule, +a: List<&2, RX.AaChangeRule>, +b: List<&2, RX.AaChangeRule>) -> {RX.AaChangeRule.matching.go(hit, r, RX.AaChangeRule.append(a, b)) == RX.AaChangeRule.append(RX.AaChangeRule.matching.go(hit, r, a), b) : List<&2, RX.AaChangeRule>}:
3803  match hit:
3804    case True{}:
3805      {==}
3806    case False{}:
3807      {==}