package mirage-crypto-rng

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

HMAC_DRBG: A NIST-specified RNG based on HMAC construction over the provided hash.

module Make (H : Mirage_crypto.Hash.S) : Generator