def sig.mgo

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

import Base
import bend-osdev-apparmor@0.1.0.0/rule_signal.bend as RS

3630def sig.mgo(+hit: Bool, +r: RS.AaSignalRule, +a: List<&2, RS.AaSignalRule>, +b: List<&2, RS.AaSignalRule>) -> {RS.AaSignalRule.matching.go(hit, r, RS.AaSignalRule.append(a, b)) == RS.AaSignalRule.append(RS.AaSignalRule.matching.go(hit, r, a), b) : List<&2, RS.AaSignalRule>}:
3631  match hit:
3632    case True{}:
3633      {==}
3634    case False{}:
3635      {==}