Mavryk_client_base.Pbkdf
module type S = sig ... end
RFC 2898 specifies two password-based key derivation functions (PBKDF1 and PBKDF2), which are abstracted over a specific hash/pseudorandom function.
module Make (H : Mavryk_crypto.Hacl.Hash.S) : S
Given a Hash/pseudorandom function, get the PBKDF
module SHA256 : S
module SHA512 : S