| add | Constrained.GenT |
| addFn | Constrained.NumSpec, Constrained.API |
| addFun | Constrained.TheKnot |
| addNumSpec | Constrained.NumSpec |
| adds | Constrained.TheKnot |
| addSpecInt | Constrained.NumSpec |
| addToErrorSpec | Constrained.Base |
| AddW | Constrained.NumSpec |
| aggressiveInlining | Constrained.TheKnot |
| ALG | Constrained.Generic |
| algebra | Constrained.Generic |
| All | Constrained.List |
| allZeroTree | Constrained.Examples.Tree, Constrained.Examples |
| alreadyHave | Constrained.TheKnot |
| alreadyHaveFold | Constrained.TheKnot |
| alternateShow | Constrained.Base, Constrained.API |
| And | Constrained.Base, Constrained.API |
| App | Constrained.Base, Constrained.API |
| appearsIn | Constrained.Syntax |
| Append | Constrained.List |
| appendFn | Constrained.TheKnot |
| appendForAll | Constrained.Examples.List, Constrained.Examples |
| appendForAllBad | Constrained.Examples.List, Constrained.Examples |
| appendList | Constrained.List |
| appendProd | Constrained.Generic |
| appendSingleton | Constrained.Examples.List, Constrained.Examples |
| appendSize | Constrained.Examples.List, Constrained.Examples |
| appendSuffix | Constrained.Examples.List, Constrained.Examples |
| appendTooLong | Constrained.Examples.List, Constrained.Examples |
| AppendW | Constrained.TheKnot |
| append_ | Constrained.TheKnot, Constrained.API |
| appFun | Constrained.Base |
| AppRequires | Constrained.Base |
| appSym | Constrained.Base |
| appTerm | Constrained.Base |
| Assert | Constrained.Base, Constrained.API |
| assert | Constrained.Syntax, Constrained.API |
| assertExplain | Constrained.Syntax, Constrained.API |
| assertReal | Constrained.Examples.Basic, Constrained.Examples |
| assertRealMultiple | Constrained.Examples.Basic, Constrained.Examples |
| assertReified | Constrained.Syntax, Constrained.API |
| at | Constrained.List |