def zeros

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

import Base

86# n zero bytes
87def zeros(n: Nat) -> List<&2, U32>:
88  match n:
89    case 0n:
90      Nil{}
91    case 1n+p:
92      Con{0, zeros(p)}