def cr.vm.sum

bend-osdev-crypto@0.1.0.0 · vmac.bend:389

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W

389# the tag words: pad word + hash word, mod 2^64
390def cr.vm.sum(ps: List<&2, W.W64>, hs: List<&2, W.W64>) -> List<&2, U32>:
391  match ps hs:
392    case Con{p, pt} Con{h, ht}:
393      B.append(cr.vm.bytes64(W.W64.add(p, h)), cr.vm.sum(pt, ht))
394    case _ _:
395      Nil{}