pub const structural_peq: Symbol;