Hacl_Impl_SHA2_Generic_h384

Static Hacl_Impl_SHA2_Generic_h384 

Source
pub unsafe static Hacl_Impl_SHA2_Generic_h384: [u64; 8]