Hacl_Impl_SHA2_Generic_h512

Static Hacl_Impl_SHA2_Generic_h512 

Source
pub unsafe static Hacl_Impl_SHA2_Generic_h512: [u64; 8]