Example.AaExample.small_files: def of bend-osdev-apparmor@0.1.0.0
Import: import bend-osdev-apparmor@0.1.0.0/example.bend as Example
Lines 59-62 of bend-osdev-apparmor@0.1.0.0/example.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-apparmor@0.1.0.0/example.bend&start_line=59&end_line=62

import Base
import bend-osdev-apparmor@0.1.0.0/apparmor.bend as A

# A smaller policy, for the laws' vectors (the checker's kernel evaluates
# them, so they are kept short)
def AaExample.small_files() -> List<&2, A.AaSource>:
  [AaExample.source("t", "@{H} = /home/*/ /root/\n"), AaExample.source("a", "/lib/** mr,\n"), AaExample.source("m", "include <t>\n/usr/bin/foo {\n  include <a>\n  include <a>\n  deny /etc/shadow r,\n  @{H}/f rw,\n  /bin/x px,\n}\nprofile bar /bin/x flags=(complain) {\n}\n")]

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/apparmor.bend&name=AaSource
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-apparmor@0.1.0.0/example.bend&name=AaExample.source