extract salt ikm is prk, the pseudorandom key of hash length octets. The salt is an optional non-secret random value, ikm the input key material.
Hkdf.Makemodule H : Mirage_crypto.Hash.Sextract salt ikm is prk, the pseudorandom key of hash length octets. The salt is an optional non-secret random value, ikm the input key material.