law glob_seq_model

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

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

46law glob_seq_model:
47  for seq: List<&2, G.AaGTok>
48  for s: List<&2, U32>
49  {G.AaGSeq.matches(seq, s) == G.AaGSeq.model(seq, s) : Bool}