def cap.mgo

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

import Base
import bend-osdev-apparmor@0.1.0.0/rule_capability.bend as RC

3544def cap.mgo(+hit: Bool, +r: RC.AaCapRule, +a: List<&2, RC.AaCapRule>, +b: List<&2, RC.AaCapRule>) -> {RC.AaCapRule.matching.go(hit, r, RC.AaCapRule.append(a, b)) == RC.AaCapRule.append(RC.AaCapRule.matching.go(hit, r, a), b) : List<&2, RC.AaCapRule>}:
3545  match hit:
3546    case True{}:
3547      {==}
3548    case False{}:
3549      {==}