Index - L
| lam | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic | 
| lam1 | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic | 
| lam2 | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic | 
| lam3 | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic | 
| lam4 | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic | 
| Len | Language.Symantic.Typing.List, Language.Symantic.Typing, Language.Symantic | 
| LenInj | Language.Symantic.Typing.List, Language.Symantic.Typing, Language.Symantic | 
| lenInj | Language.Symantic.Typing.List, Language.Symantic.Typing, Language.Symantic | 
| LenS | Language.Symantic.Typing.List, Language.Symantic.Typing, Language.Symantic | 
| LenVars | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic | 
| lenVars | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic | 
| LenZ | Language.Symantic.Typing.List, Language.Symantic.Typing, Language.Symantic | 
| let_ | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic | 
| liftError | Language.Symantic | 
| liftTermVT | Language.Symantic.Compiling.Term, Language.Symantic.Compiling, Language.Symantic | 
| lookupDefTerm | Language.Symantic.Compiling.Module, Language.Symantic.Compiling, Language.Symantic | 
| lookupImports | Language.Symantic.Typing.Module, Language.Symantic.Typing, Language.Symantic | 
| lookupSubst | Language.Symantic.Typing.Unify, Language.Symantic.Typing, Language.Symantic | 
| lookupUsedVars | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic | 
| lookupVars | Language.Symantic.Typing.Variable, Language.Symantic.Typing, Language.Symantic |