Constant structural_peq

pub const structural_peq: Symbol;