Constant emptyset 

pub const emptyset: Key;