Constant structural_peq 

pub const structural_peq: Symbol;