pub unsafe extern "C" fn Hacl_HMAC_DRBG_generate(
    a: Spec_Hash_Definitions_hash_alg,
    output: *mut u8,
    st: Hacl_HMAC_DRBG_state,
    n: u32,
    additional_input_len: u32,
    additional_input: *mut u8
) -> bool
Expand description

Generate output.

@param a Hash algorithm to use. (Value must match the value used in create_in.) @param output Pointer to n bytes of memory where random output is written to. @param st Pointer to DRBG state. @param n Length of desired output. @param additional_input_input_len Length of additional input. @param additional_input_input Pointer to additional_input_input_len bytes of memory where additional input is read from.