Constant notelementof 

pub const notelementof: Key;