leqSubstVariant | Term.Narrowing.Variants.Check, Term.Narrowing.Variants |
li1 | Term.Builtin.Convenience |
li2 | Term.Builtin.Convenience |
li3 | Term.Builtin.Convenience |
li4 | Term.Builtin.Convenience |
li5 | Term.Builtin.Convenience |
li6 | Term.Builtin.Convenience |
li7 | Term.Builtin.Convenience |
li8 | Term.Builtin.Convenience |
li9 | Term.Builtin.Convenience |
List | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Lit | |
1 (Data Constructor) | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
2 (Type/Class) | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
lit | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
Lit2 | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
lits | Term.VTerm, Term.LTerm, Term.Substitution, Term.Unification |
LNSubst | Term.Substitution, Term.Unification |
LNSubstVFresh | Term.Substitution, Term.Unification |
LNTerm | Term.LTerm, Term.Substitution, Term.Unification |
LSort | Term.LTerm, Term.Substitution, Term.Unification |
LSortFresh | Term.LTerm, Term.Substitution, Term.Unification |
LSortMsg | Term.LTerm, Term.Substitution, Term.Unification |
LSortNode | Term.LTerm, Term.Substitution, Term.Unification |
LSortPub | Term.LTerm, Term.Substitution, Term.Unification |
LSubst | Term.Substitution, Term.Unification |
LSubstVFresh | Term.Substitution, Term.Unification |
LTerm | Term.LTerm, Term.Substitution, Term.Unification |
ltermNodeId | Term.LTerm, Term.Substitution, Term.Unification |
ltermNodeId' | Term.LTerm, Term.Substitution, Term.Unification |
lTermToMTerm | Term.Maude.Types |
lTermToMTerm' | Term.Maude.Types |
ltermVar | Term.LTerm, Term.Substitution, Term.Unification |
ltermVar' | Term.LTerm, Term.Substitution, Term.Unification |
lv1 | Term.Builtin.Convenience |
lv2 | Term.Builtin.Convenience |
lv3 | Term.Builtin.Convenience |
lv4 | Term.Builtin.Convenience |
lv5 | Term.Builtin.Convenience |
lv6 | Term.Builtin.Convenience |
lv7 | Term.Builtin.Convenience |
lv8 | Term.Builtin.Convenience |
lv9 | Term.Builtin.Convenience |
LVar | |
1 (Type/Class) | Term.LTerm, Term.Substitution, Term.Unification |
2 (Data Constructor) | Term.LTerm, Term.Substitution, Term.Unification |
lvarIdx | Term.LTerm, Term.Substitution, Term.Unification |
lvarName | Term.LTerm, Term.Substitution, Term.Unification |
lvarSort | Term.LTerm, Term.Substitution, Term.Unification |
lx1 | Term.Builtin.Convenience |
lx10 | Term.Builtin.Convenience |
lx2 | Term.Builtin.Convenience |
lx3 | Term.Builtin.Convenience |
lx4 | Term.Builtin.Convenience |
lx5 | Term.Builtin.Convenience |
lx6 | Term.Builtin.Convenience |
lx7 | Term.Builtin.Convenience |
lx8 | Term.Builtin.Convenience |
lx9 | Term.Builtin.Convenience |