Constant Spec_Hash_Definitions_Shake256

pub const Spec_Hash_Definitions_Shake256: u32 = 13;