Type Definition hacl_star_sys::sha2_512::Hacl_SHA2_512_uint8_p

type Hacl_SHA2_512_uint8_p = *mut u8;