Function Hacl_Streaming_SHA2_copy_256

pub unsafe extern "C" fn Hacl_Streaming_SHA2_copy_256(
    s0: *mut Hacl_Streaming_MD_state_32,
) -> *mut Hacl_Streaming_MD_state_32

Copies the state passed as argument into a newly allocated state (deep copy). The state is to be freed by calling free_256. Cloning the state this way is useful, for instance, if your control-flow diverges and you need to feed more (different) data into the hash in each branch.