p1 | Term.Builtin.Convenience |
p2 | Term.Builtin.Convenience |
p3 | Term.Builtin.Convenience |
p4 | Term.Builtin.Convenience |
p5 | Term.Builtin.Convenience |
p6 | Term.Builtin.Convenience |
p7 | Term.Builtin.Convenience |
p8 | Term.Builtin.Convenience |
p9 | Term.Builtin.Convenience |
pairFunSig | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
pairMaudeSig | Term.Maude.Signature, Term.Unification |
pairRules | Term.Builtin.Rules |
parseMatchReply | Term.Maude.Parser |
parseReduceReply | Term.Maude.Parser |
parseUnifyReply | Term.Maude.Parser |
pk | Term.Builtin.Convenience |
pkSym | Term.Builtin.Signature, Term.Builtin.Rules |
Position | Term.Positions |
positionsNonVar | Term.Positions |
ppMaude | Term.Maude.Parser |
ppTheory | Term.Maude.Parser |
prettyDisjLNSubstsVFresh | Term.Substitution, Term.Unification |
prettyLNSubst | Term.Substitution, Term.Unification |
prettyLNTerm | Term.LTerm, Term.Substitution, Term.Unification |
prettyLSubstVFresh | Term.Substitution, Term.Unification |
prettyLVar | Term.LTerm, Term.Substitution, Term.Unification |
prettyMaudeSig | Term.Maude.Signature |
prettyNodeId | Term.LTerm, Term.Substitution, Term.Unification |
prettyNTerm | Term.LTerm, Term.Substitution, Term.Unification |
prettyStRule | Term.SubtermRule |
prettySubst | Term.Substitution, Term.Unification |
prettySubstVFresh | Term.Substitution, Term.Unification |
prettyTerm | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
PubName | Term.LTerm, Term.Substitution, Term.Unification |
pubTerm | Term.LTerm, Term.Substitution, Term.Unification |
pubVar | Term.Builtin.Convenience |
px0 | Term.Builtin.Convenience |
px1 | Term.Builtin.Convenience |
px10 | Term.Builtin.Convenience |
px2 | Term.Builtin.Convenience |
px3 | Term.Builtin.Convenience |
px4 | Term.Builtin.Convenience |
px5 | Term.Builtin.Convenience |
px6 | Term.Builtin.Convenience |
px7 | Term.Builtin.Convenience |
px8 | Term.Builtin.Convenience |
px9 | Term.Builtin.Convenience |