| left_ | Constrained.Spec.SumProd, Constrained.API |
| Length | Constrained.List |
| lengthList | Constrained.List |
| length_ | Constrained.API |
| leqPair | Constrained.Examples.Basic, Constrained.Examples |
| leqSpec | Constrained.NumSpec, Constrained.API |
| LessOrEqualW | Constrained.NumSpec |
| LessW | Constrained.NumSpec |
| Let | Constrained.Base, Constrained.API |
| letBind | Constrained.Syntax, Constrained.API |
| letExists | Constrained.Examples.Basic, Constrained.Examples |
| letExistsLet | Constrained.Examples.Basic, Constrained.Examples |
| letFloating | Constrained.Syntax |
| letSubexpressionElimination | Constrained.Syntax |
| liftGen | Constrained.GenT |
| liftMemberSpec | Constrained.TheKnot |
| liftSizeSpec | Constrained.TheKnot |
| linearize | Constrained.TheKnot |
| List | Constrained.List |
| ListCtx | |
| 1 (Type/Class) | Constrained.List |
| 2 (Data Constructor) | Constrained.List |
| ListCtxWhole | |
| 1 (Type/Class) | Constrained.List |
| 2 (Data Constructor) | Constrained.List |
| listEmpty | Constrained.Examples.List, Constrained.Examples |
| listExistsUnfree | Constrained.Examples.List, Constrained.Examples |
| listFromGE | Constrained.GenT |
| listMustSizeIssue | Constrained.Examples.List, Constrained.Examples |
| listOfT | Constrained.GenT |
| listOfUntilLenT | Constrained.GenT |
| listSem | Constrained.TheKnot |
| listShape | Constrained.List |
| ListSpec | |
| 1 (Type/Class) | Constrained.TheKnot |
| 2 (Data Constructor) | Constrained.TheKnot |
| listSpecElem | Constrained.TheKnot |
| listSpecFold | Constrained.TheKnot |
| listSpecHint | Constrained.TheKnot |
| listSpecMust | Constrained.TheKnot |
| listSpecSize | Constrained.TheKnot |
| listSubSize | Constrained.Examples.Basic, Constrained.Examples |
| listSum | Constrained.Examples.List, Constrained.Examples |
| listSumComplex | Constrained.Examples.Fold |
| listSumElemRange | Constrained.Examples.List, Constrained.Examples |
| listSumForall | |
| 1 (Function) | Constrained.Examples.List, Constrained.Examples |
| 2 (Function) | Constrained.Examples.Fold |
| listSumPair | |
| 1 (Function) | Constrained.Examples.List, Constrained.Examples |
| 2 (Function) | Constrained.Examples.Fold |
| listSumRange | Constrained.Examples.List, Constrained.Examples |
| listSumRangeRange | Constrained.Examples.List, Constrained.Examples |
| listSumRangeUpper | Constrained.Examples.List, Constrained.Examples |
| listSumShort | Constrained.Examples.List, Constrained.Examples |
| listToProd | Constrained.Generic |
| ListW | Constrained.TheKnot |
| Lit | Constrained.Base, Constrained.API |
| lit | Constrained.Syntax, Constrained.API |
| Logic | Constrained.Base, Constrained.API |
| LogicRequires | Constrained.Base |
| logish | Constrained.SumList |
| logishProp | Constrained.Examples.Fold |
| logRange | Constrained.SumList |
| lookupEnv | Constrained.Env |
| lookupSpecific | Constrained.Examples.Map, Constrained.Examples |
| LookupW | Constrained.Spec.Map |
| lookup_ | Constrained.Spec.Map, Constrained.API |
| Loose | Constrained.GenT |
| lowBound | Constrained.NumSpec |
| lowerBound | Constrained.NumSpec, Constrained.API |
| ltSpec | Constrained.NumSpec, Constrained.API |