def big.path
import bend-osdev-apparmor@0.1.0.0/check.bend as Checkimport Base
66def big.path(n: Nat) -> String:
67 "/data/d299" ++ big.path.go(n, "") ++ "/file"
import bend-osdev-apparmor@0.1.0.0/check.bend as Checkimport Base
66def big.path(n: Nat) -> String:
67 "/data/d299" ++ big.path.go(n, "") ++ "/file"