helium-1.8: The Helium Compiler.

Index - A

addForDeclarationHelium.ModuleSystem.DictionaryEnvironment
addForVariableHelium.ModuleSystem.DictionaryEnvironment
addHintHelium.StaticAnalysis.Heuristics.RepairHeuristics
addOperatorHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
addPosHelium.Parser.LexerMonad
addPropertiesHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
addPropertyHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
addRangeHelium.Parser.ParseLibrary
addToTypeEnvironmentHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
addTypeHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
addTypeConstructorHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
addTypeSynonymHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
addTypingStrategiesHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
addValueConstructorHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
AlertHelium.Main.Args, Helium.Main.CompileUtils
AlgorithmMHelium.Main.Args, Helium.Main.CompileUtils
AlgorithmWHelium.Main.Args, Helium.Main.CompileUtils
allMatchHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
allPatterns_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
allSubstPredicatesHelium.StaticAnalysis.Heuristics.RepairHeuristics
allTypeConstructors_Inh_AlternativeHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_AlternativesHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_AnnotatedTypeHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_AnnotatedTypesHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_ConstructorHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_ConstructorsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_ContextItemHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_ContextItemsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_ExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_ExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_FunctionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_FunctionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_GuardedExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_GuardedExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_LeftHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_MaybeDeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_MaybeExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_PatternHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_PatternsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_QualifierHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_QualifiersHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_RightHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_StatementHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_StatementsHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_TypeHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeConstructors_Inh_TypesHelium.StaticAnalysis.StaticChecks.StaticChecks
allTypeSchemes_Inh_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
allTypeSchemes_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
allValueConstructors_Inh_AlternativeHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_AlternativesHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_AnnotatedTypeHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_AnnotatedTypesHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_ConstructorHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_ConstructorsHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_ExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_ExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_FunctionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_FunctionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_GuardedExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_GuardedExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_LeftHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_MaybeDeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_MaybeExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_PatternHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_PatternsHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_QualifierHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_QualifiersHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_RightHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_StatementHelium.StaticAnalysis.StaticChecks.StaticChecks
allValueConstructors_Inh_StatementsHelium.StaticAnalysis.StaticChecks.StaticChecks
allVariables_Syn_ExpressionHelium.StaticAnalysis.Directives.TS_Analyse
allVariables_Syn_ExpressionsHelium.StaticAnalysis.Directives.TS_Analyse
allVariables_Syn_JudgementHelium.StaticAnalysis.Directives.TS_Analyse
allVariables_Syn_MaybeExpressionHelium.StaticAnalysis.Directives.TS_Analyse
AlternativeHelium.Syntax.UHA_Syntax
AlternativesHelium.Syntax.UHA_Syntax
Alternative_AlternativeHelium.Syntax.UHA_Syntax
Alternative_EmptyHelium.Syntax.UHA_Syntax
Alternative_FeedbackHelium.Syntax.UHA_Syntax
Alternative_HoleHelium.Syntax.UHA_Syntax
AmbiguousHelium.Parser.ResolveOperators
AmbiguousContextHelium.StaticAnalysis.Messages.StaticErrors
analyseTypingStrategiesHelium.StaticAnalysis.Directives.TS_Analyse
analyseTypingStrategyHelium.StaticAnalysis.Directives.TS_Analyse
AnnotatedTypeHelium.Syntax.UHA_Syntax
AnnotatedTypesHelium.Syntax.UHA_Syntax
AnnotatedType_AnnotatedTypeHelium.Syntax.UHA_Syntax
ApplicationEdgeHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
applicationHeuristicHelium.StaticAnalysis.Heuristics.RepairHeuristics
applyTypingStrategyHelium.StaticAnalysis.Directives.TS_Apply
app_Helium.CodeGeneration.CoreUtils
argcount_Syn_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
argcount_Syn_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
argcount_Syn_LeftHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
argsToOptionsHelium.Main.Args
arities_Syn_FunctionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
ArityMismatchHelium.StaticAnalysis.Messages.StaticErrors
arity_Syn_FunctionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.CodeGeneration.CodeGeneration
arity_Syn_FunctionBindingsHelium.CodeGeneration.CodeGeneration
arity_Syn_LeftHandSideHelium.CodeGeneration.CodeGeneration
ArrowHelium.Utils.Texts
assignedTypeHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
AssocHelium.Parser.OperatorTable
assocHelium.Parser.OperatorTable
AssocLeftHelium.Parser.OperatorTable
AssocNoneHelium.Parser.OperatorTable
AssocRightHelium.Parser.OperatorTable
AssumptionsHelium.StaticAnalysis.Inferencers.BindingGroupAnalysis
assumptions_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_AnnotatedTypeHelium.StaticAnalysis.Inferencers.KindInferencing
assumptions_Syn_AnnotatedTypesHelium.StaticAnalysis.Inferencers.KindInferencing
assumptions_Syn_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_ConstructorHelium.StaticAnalysis.Inferencers.KindInferencing
assumptions_Syn_ConstructorsHelium.StaticAnalysis.Inferencers.KindInferencing
assumptions_Syn_Core_TypingStrategyHelium.StaticAnalysis.Directives.TS_Apply
assumptions_Syn_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_ModuleHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
assumptions_Syn_TypeHelium.StaticAnalysis.Inferencers.KindInferencing
assumptions_Syn_TypesHelium.StaticAnalysis.Inferencers.KindInferencing
attach_T_Alternative 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Alternatives 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_AnnotatedType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_AnnotatedTypes 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Body 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Constructor 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Constructors 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_ContextItem 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_ContextItems 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Declaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Declarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Export 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Exports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Expression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Expressions 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_FieldDeclaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_FieldDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Fixity 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_FunctionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_FunctionBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_GuardedExpression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_GuardedExpressions 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Import 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_ImportDeclaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_ImportDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Imports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_ImportSpecification 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_JudgementHelium.StaticAnalysis.Directives.TS_Analyse
attach_T_LeftHandSide 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Literal 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_MaybeDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_MaybeExports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_MaybeExpression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_MaybeImportSpecification 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_MaybeInt 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_MaybeName 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_MaybeNames 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Module 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Name 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Names 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Pattern 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Patterns 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Position 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Qualifier 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Qualifiers 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Range 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_RecordExpressionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_RecordExpressionBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_RecordPatternBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_RecordPatternBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_RightHandSide 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_SimpleJudgementHelium.StaticAnalysis.Directives.TS_Analyse
attach_T_SimpleJudgementsHelium.StaticAnalysis.Directives.TS_Analyse
attach_T_SimpleType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Statement 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Statements 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Strings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_Type 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_TypeRuleHelium.StaticAnalysis.Directives.TS_Analyse
attach_T_Types 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.CodeGeneration.CodeGeneration
attach_T_TypingStrategiesHelium.StaticAnalysis.Directives.TS_Analyse
attach_T_TypingStrategyHelium.StaticAnalysis.Directives.TS_Analyse
attach_T_UserStatementHelium.StaticAnalysis.Directives.TS_Analyse
attach_T_UserStatementsHelium.StaticAnalysis.Directives.TS_Analyse
AttributeHelium.StaticAnalysis.Directives.TS_Attributes
attributeHelium.StaticAnalysis.Miscellaneous.DoublyLinkedTree
attributeFieldTableHelium.StaticAnalysis.Directives.TS_Attributes
AttributeTableHelium.StaticAnalysis.Directives.TS_Attributes
attributeTable_Inh_UserStatement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
attributeTable_Inh_UserStatements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
atypeHelium.Parser.Parser
availablePredicates_Inh_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
availablePredicates_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
avoidApplicationConstraintsHelium.StaticAnalysis.Heuristics.OnlyResultHeuristics
avoidFolkloreConstraintsHelium.StaticAnalysis.Heuristics.TieBreakerHeuristics
avoidNegationConstraintsHelium.StaticAnalysis.Heuristics.OnlyResultHeuristics
avoidTrustedConstraintsHelium.StaticAnalysis.Heuristics.TieBreakerHeuristics