| _Arr | Traq.CPL.Syntax, Traq.CPL |
| _ArrV | Traq.CPL.Syntax, Traq.CPL |
| _ast | Traq.Utils.ASTRewriting |
| _EQ | Traq.Primitives.Amplify.CAmplify |
| _EQMax | Traq.Primitives.Max.QMax |
| _EQSearch | |
| 1 (Function) | Traq.Primitives.Search.QSearchCFNW |
| 2 (Function) | Traq.Primitives.Amplify.QAmplify |
| _EQSearchWorst | Traq.Primitives.Search.QSearchCFNW |
| _evaluationEnv | Traq.CPL.Eval, Traq.CPL |
| _exts | Traq.CPL.Lenses, Traq.CPL |
| _Fin | Traq.CPL.Syntax, Traq.CPL |
| _FinV | Traq.CPL.Syntax, Traq.CPL |
| _FPAA_L | Traq.Primitives.Amplify.QAmplify |
| _funCtx | Traq.CPL.Syntax, Traq.CPL |
| _funInterpCtx | Traq.CPL.Eval, Traq.CPL |
| _loweredProcs | Traq.Compiler.Prelude, Traq.Compiler |
| _precSplitStrat | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| _procCtx | Traq.QPL.Syntax, Traq.QPL |
| _procSignatures | Traq.Compiler.Prelude, Traq.Compiler |
| _QMax | Traq.Primitives.Amplify.CAmplify |
| _QryQmax | Traq.Primitives.Search.Symbolic |
| _QryU | Traq.Primitives.Search.Symbolic |
| _QSearchZalka | Traq.Primitives.Search.QSearchCFNW |
| _SimonsQueries | Traq.Primitives.Simons.Quantum |
| _state | Traq.CPL.Eval, Traq.CPL |
| _stmt | Traq.Utils.ASTRewriting |
| _Tup | Traq.CPL.Syntax, Traq.CPL |
| _TupV | Traq.CPL.Syntax, Traq.CPL |
| _typingCtx | Traq.CPL.TypeCheck, Traq.CPL |
| _uniqNamesCtx | Traq.Compiler.Prelude, Traq.Compiler |
| _unique_id | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| _WQMax | Traq.Primitives.Max.QMax |
| _WQSearch | Traq.Primitives.Amplify.QAmplify |