Index - L
| Lam | |
| 1 (Type/Class) | AST.Term.Lam |
| 2 (Data Constructor) | AST.Term.Lam |
| lamIn | AST.Term.Lam |
| lamOut | AST.Term.Lam |
| Let | |
| 1 (Type/Class) | AST.Term.Let |
| 2 (Data Constructor) | AST.Term.Let |
| letEquals | AST.Term.Let |
| letIn | AST.Term.Let |
| letVar | AST.Term.Let |
| liftK2 | AST.Class.Apply, AST |
| load | AST.Unify.Binding.ST.Load |
| LoadedNominalDecl | AST.Term.Nominal |
| loadNominalDecl | AST.Term.Nominal |
| loadScheme | AST.Term.Scheme |
| localInstantiations | AST.Term.Scheme |
| localLevel | AST.Infer.ScopeLevel, AST.Infer |
| LocalScopeType | AST.Class.Infer.Env, AST.Infer |
| localScopeType | AST.Class.Infer.Env, AST.Infer |
| lookupQVar | AST.Term.Scheme |
| lookupVar | AST.Class.Unify, AST.Unify |