pub unsafe extern "C" fn Hacl_HMAC_DRBG_create_in(
a: Spec_Hash_Definitions_hash_alg,
) -> Hacl_HMAC_DRBG_state
Expand description
Create a DRBG state.
@param a Hash algorithm to use. The possible instantiations are …
Spec_Hash_Definitions_SHA2_256
,
Spec_Hash_Definitions_SHA2_384
,
Spec_Hash_Definitions_SHA2_512
, and
Spec_Hash_Definitions_SHA1
.