def Mag.zeros

bend-kit-bignum@0.1.0.0 · bigint.bend:148

import bend-kit-bignum@0.1.0.0/bigint.bend as Bigint

import Base

148def Mag.zeros(n: Nat, xs: List<&2, U32>) -> List<&2, U32>:
149  match n:
150    case 0n:
151      xs
152    case 1n+p:
153      Con{0, Mag.zeros(p, xs)}

Uses (3)

Used by (1)

bend-kit-bignum@0.1.0.0/bigint:Mag.shift