def file.mgo

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

import Base
import bend-osdev-apparmor@0.1.0.0/rule_file.bend as F

3501def file.mgo(+hit: Bool, +r: F.AaFileRule, +a: List<&2, F.AaFileRule>, +b: List<&2, F.AaFileRule>) -> {F.AaFileRule.matching.go(hit, r, F.AaFileRule.append(a, b)) == F.AaFileRule.append(F.AaFileRule.matching.go(hit, r, a), b) : List<&2, F.AaFileRule>}:
3502  match hit:
3503    case True{}:
3504      {==}
3505    case False{}:
3506      {==}