def ckp.ns

bend-osdev-acpi@0.1.2.0 · PROOF_checksum.bend:141

import bend-osdev-acpi@0.1.2.0/PROOF_checksum.bend as PROOFChecksum

import Base

141def ckp.ns(xs: List<&2, U32>) -> Nat:
142  match xs:
143    case Nil{}:
144      0n
145    case Con{h, t}:
146      Nat.add(U32.to_nat(U32.and(255, h)), ckp.ns(t))

Uses (6)

Used by (9)