def mnt.mgo

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

import Base
import bend-osdev-apparmor@0.1.0.0/rule_mount.bend as RM

3716def mnt.mgo(+hit: Bool, +r: RM.AaMountRule, +a: List<&2, RM.AaMountRule>, +b: List<&2, RM.AaMountRule>) -> {RM.AaMountRule.matching.go(hit, r, RM.AaMountRule.append(a, b)) == RM.AaMountRule.append(RM.AaMountRule.matching.go(hit, r, a), b) : List<&2, RM.AaMountRule>}:
3717  match hit:
3718    case True{}:
3719      {==}
3720    case False{}:
3721      {==}