def w8s.zeros

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

import Base

433def w8s.zeros(n: Nat) -> List<&2, OctByte>:
434  match n:
435    case 0n:
436      Nil{}
437    case 1n+p:
438      Con{oct.zero(), w8s.zeros(p)}