Generators.Hmac_drgb
HMAC_DRBG: A NIST-specified RNG based on HMAC construction over the provided hash.
module Make : functor (H : Hash.S) -> S.Generator