def w8s.zeros.go

bend-osdev-bytes@0.1.1.0 · bytes.bend:508

import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytes

import Base

508def w8s.zeros.go(n: Nat, acc: List<&2, OctByte>) -> List<&2, OctByte>:
509  match n:
510    case 0n:
511      acc
512    case 1n+p:
513      w8s.zeros.go(p, Con{oct.zero(), acc})

Uses (4)

Used by (3)