def cr.hkdf.rev
import bend-osdev-crypto@0.1.0.0/hkdf.bend as Hkdfimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
33def cr.hkdf.rev(os: List<&2, B.Octets>, acc: List<&2, B.Octets>) -> List<&2, B.Octets>:
34 match os:
35 case Nil{}:
36 acc
37 case Con{h, t}:
38 cr.hkdf.rev(t, Con{h, acc})