~/jendhub

def as.go

bend-osdev-hashes@0.1.0.0 · check.bend:47

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

47# n bytes "a", built tail-recursively
48def as.go(n: Nat, acc: List<&2, U32>) -> List<&2, U32>:
49  match n:
50    case 0n:
51      acc
52    case 1n+p:
53      as.go(p, Con{97, acc})

Uses (3)

Used by (1)