EverCrypt_DRBG_SHA2_384_s

Constant EverCrypt_DRBG_SHA2_384_s 

Source
pub const EverCrypt_DRBG_SHA2_384_s: u32 = 2;