law glob_ref_model

bend-osdev-apparmor@0.1.0.0 · LAWS.bend:61

import Base
import bend-osdev-apparmor@0.1.0.0/glob.bend as G

61law glob_ref_model:
62  for g: G.AaGlob
63  for s: List<&2, U32>
64  {G.AaGlob.matches_ref(g, s) == G.AaGlob.model(g, s) : Bool}