def Big.zeros

bend-kit-fmt@0.1.0.0 · fmt.bend:122

import Base

122# A Big is a fixed 14 limbs of 16 bits, least significant first: 224 bits.
123def Big.zeros(n: Nat) -> List<&2, U32>:
124  match n:
125    case 0n:
126      Nil{}
127    case 1n+p:
128      Con{0, Big.zeros(p)}