Index - L
| 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 | 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 |