libcrux_hacl

Constant Spec_FFDHE_FFDHE2048

Source 
pub const Spec_FFDHE_FFDHE2048: u32 = 0;