def net.mgo

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

import Base
import bend-osdev-apparmor@0.1.0.0/rule_network.bend as RN

3587def net.mgo(+hit: Bool, +r: RN.AaNetRule, +a: List<&2, RN.AaNetRule>, +b: List<&2, RN.AaNetRule>) -> {RN.AaNetRule.matching.go(hit, r, RN.AaNetRule.append(a, b)) == RN.AaNetRule.append(RN.AaNetRule.matching.go(hit, r, a), b) : List<&2, RN.AaNetRule>}:
3588  match hit:
3589    case True{}:
3590      {==}
3591    case False{}:
3592      {==}