def big.path

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

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

66def big.path(n: Nat) -> String:
67  "/data/d299" ++ big.path.go(n, "") ++ "/file"

Uses (4)

Used by (1)