def CrHmac.update
import bend-osdev-crypto@0.1.0.0/hmac.bend as Hmacimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
72def CrHmac.update(~H: Data, ~update: H -> B.Octets -> H, s: CrHmacState<H>, m: B.Octets) -> CrHmacState<H>:
73 match s:
74 case CrHmacState{h, o}:
75 CrHmacState{update(h, m), o}