law glob_star_inside_segment

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

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

260law glob_star_inside_segment:
261  {G.AaGlob.match_text(X.AaText.of_string("/a/*b"), X.AaText.of_string("/a/b")) == True{} : Bool}