def big.path.go

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

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

import Base

59def big.path.go(n: Nat, acc: String) -> String:
60  match n:
61    case 0n:
62      acc
63    case 1n+k:
64      big.path.go(k, acc ++ "/abcdefghij")

Uses (3)

Used by (1)

bend-osdev-apparmor@0.1.0.0/check:big.path