law glob_run

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

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

51law glob_run:
52  for seq: List<&2, G.AaGTok>
53  for s: List<&2, U32>
54  {G.AaGSeq.run(seq, s) == G.AaGSeq.matches(seq, s) : Bool}