Index - H
| HasAdjoint | Traq.CQPL.Syntax, Traq.CQPL |
| HasAst | Traq.Utils.ASTRewriting |
| HasDefault | Traq.Data.Default |
| HasEvaluationEnv | Traq.ProtoLang.Eval, Traq.ProtoLang |
| HasFreeVars | Traq.ProtoLang.Vars, Traq.ProtoLang |
| HasFunCtx | Traq.ProtoLang.Syntax, Traq.ProtoLang |
| HasFunInterpCtx | Traq.ProtoLang.Eval, Traq.ProtoLang |
| HasPrecisionSplittingStrategy | Traq.Analysis.Annotate.Prelude, Traq.Analysis.Annotate, Traq.Analysis |
| HasProcCtx | Traq.CQPL.Syntax, Traq.CQPL |
| HasProgramState | Traq.ProtoLang.Eval, Traq.ProtoLang |
| HasStmt | Traq.Utils.ASTRewriting |
| HasTypingCtx | Traq.ProtoLang.TypeCheck, Traq.ProtoLang |
| HasUniqNamesCtx | Traq.Compiler.Prelude, Traq.Compiler |
| HGate | Traq.CQPL.Syntax, Traq.CQPL |