Function EverCrypt_Hash_Incremental_alg_of_state

pub unsafe extern "C" fn EverCrypt_Hash_Incremental_alg_of_state(
    s: *mut EverCrypt_Hash_Incremental_hash_state,
) -> Spec_Hash_Definitions_hash_alg

Perform a run-time test to determine which algorithm was chosen for the given piece of state.