pub unsafe extern "C" fn Hacl_Streaming_Blake2_blocks_state_len(
a: Spec_Blake2_alg,
m: Hacl_Impl_Blake2_Core_m_spec,
) -> u32pub unsafe extern "C" fn Hacl_Streaming_Blake2_blocks_state_len(
a: Spec_Blake2_alg,
m: Hacl_Impl_Blake2_Core_m_spec,
) -> u32