law glob_model

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

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

56law glob_model:
57  for g: G.AaGlob
58  for s: List<&2, U32>
59  {G.AaGlob.matches(g, s) == G.AaGlob.model(g, s) : Bool}