EverCrypt_Hash_Blake2S_s

Constant EverCrypt_Hash_Blake2S_s 

Source
pub const EverCrypt_Hash_Blake2S_s: u32 = 6;