Function EverCrypt_Hash_hash 

pub unsafe extern "C" fn EverCrypt_Hash_hash(
    a: Spec_Hash_Definitions_hash_alg,
    dst: *mut u8,
    input: *mut u8,
    len: u32,
)