Type Definition hacl_star_sys::sha2_512::Hacl_SHA2_512_uint64_p

type Hacl_SHA2_512_uint64_p = *mut u64;