Hacl_Impl_SHA2_Generic_k384_512

Static Hacl_Impl_SHA2_Generic_k384_512 

Source
pub unsafe static Hacl_Impl_SHA2_Generic_k384_512: [u64; 80]