~/jendhub

def big.rules

bend-osdev-apparmor@0.1.0.0 · check.bend:49

import bend-osdev-apparmor@0.1.0.0/check.bend as Check
import Base

49def big.rules(n: Nat, +i: U32, acc: String) -> String:
50  match n:
51    case 0n:
52      acc
53    case 1n+k:
54      big.rules(k, U32.add(i, 1), acc ++ "  /data/d" ++ U32.show(i) ++ "/** r,\n  deny /data/d" ++ U32.show(i) ++ "/secret w,\n")

Uses (6)

Used by (1)