def cr.hash.feed
import bend-osdev-crypto@0.1.0.0/hash.bend as Hashimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
27def cr.hash.feed(~H: Data, ~update: H -> B.Octets -> H, ps: List<&2, B.Octets>, s: H) -> H:
28 match ps:
29 case Nil{}:
30 s
31 case Con{p, t}:
32 cr.hash.feed(~H, ~update, t, update(s, p))