def ptr.mgo

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

import Base
import bend-osdev-apparmor@0.1.0.0/rule_ptrace.bend as RP

3673def ptr.mgo(+hit: Bool, +r: RP.AaPtraceRule, +a: List<&2, RP.AaPtraceRule>, +b: List<&2, RP.AaPtraceRule>) -> {RP.AaPtraceRule.matching.go(hit, r, RP.AaPtraceRule.append(a, b)) == RP.AaPtraceRule.append(RP.AaPtraceRule.matching.go(hit, r, a), b) : List<&2, RP.AaPtraceRule>}:
3674  match hit:
3675    case True{}:
3676      {==}
3677    case False{}:
3678      {==}