HkdfRFC 5869 specifies a HMAC-based Extract-and-Expand Key Derivation Function (HKDF), which is abstracted over a specific hash function.
module type S = sig ... endmodule Make (H : Digestif.S) : SGiven a Hash function, get the HKDF
val extract : hash:Digestif.hash' -> ?salt:string -> string -> stringconvenience extract hash salt ikm where the hash has to be provided explicitly
val expand : hash:Digestif.hash' -> prk:string -> ?info:string -> int -> stringconvenience expand hash prk info len where the hash has to be provided explicitly