Constant elementof 

pub const elementof: Key;