hacl_sys

Constant Spec_Hash_Definitions_SHA2_384

Source 
pub const Spec_Hash_Definitions_SHA2_384: u32 = 2;