EverCrypt_Hash_SHA2_224_s

Constant EverCrypt_Hash_SHA2_224_s 

Source
pub const EverCrypt_Hash_SHA2_224_s: u32 = 2;