hacl_sys

Function Hacl_Streaming_Keccak_malloc

Source 
pub unsafe extern "C" fn Hacl_Streaming_Keccak_malloc(
    a: Spec_Hash_Definitions_hash_alg,
) -> *mut Hacl_Streaming_Keccak_state