~/jendhub

def Mag.school.put

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

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

134def Mag.school.put(p: List<&2, U32>, r: List<&2, U32>) -> List<&2, U32>:
135  match p:
136    case Nil{}:
137      Mag.cons(0, r)
138    case Con{h, t}:
139      Mag.cons(h, Mag.add(t, r, 0))

Uses (4)

Used by (1)