A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Z
:
!
.
<
=
>
|
All

Index - I

idFromName	Helium.Syntax.UHA_Utils
ids_Inh_FunctionBinding	Helium.CodeGeneration.CodeGeneration
ids_Inh_FunctionBindings	Helium.CodeGeneration.CodeGeneration
if_	Helium.CodeGeneration.CoreUtils
IllegalCharInChar	Helium.Parser.LexerMessage, Helium.Parser.Lexer
IllegalCharInString	Helium.Parser.LexerMessage, Helium.Parser.Lexer
IllegalEscapeInChar	Helium.Parser.LexerMessage, Helium.Parser.Lexer
IllegalEscapeInString	Helium.Parser.LexerMessage, Helium.Parser.Lexer
Import
1 (Type/Class)	Helium.Syntax.UHA_Syntax
2 (Data Constructor)	Helium.StaticAnalysis.Messages.Messages
ImportDeclaration	Helium.Syntax.UHA_Syntax
ImportDeclarations	Helium.Syntax.UHA_Syntax
ImportDeclaration_Empty	Helium.Syntax.UHA_Syntax
ImportDeclaration_Import	Helium.Syntax.UHA_Syntax
importedModules_Inh_ImportDeclaration	Helium.StaticAnalysis.StaticChecks.StaticChecks
importedModules_Inh_ImportDeclarations	Helium.StaticAnalysis.StaticChecks.StaticChecks
importedModules_Syn_Body	Helium.StaticAnalysis.StaticChecks.StaticChecks
importedModules_Syn_ImportDeclaration	Helium.StaticAnalysis.StaticChecks.StaticChecks
importedModules_Syn_ImportDeclarations	Helium.StaticAnalysis.StaticChecks.StaticChecks
ImportEnvironment
1 (Type/Class)	Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
2 (Data Constructor)	Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
ImportEnvironments	Helium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
importEnvironments_Inh_Module	Helium.StaticAnalysis.StaticChecks.StaticChecks
importEnvironmentToEnv	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Alternative	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Alternatives	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Body
1 (Function)	Helium.StaticAnalysis.Inferencers.KindInferencing
2 (Function)	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Declaration	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Declarations	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Expression	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Expressions	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_FunctionBinding	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_FunctionBindings	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_GuardedExpression	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_GuardedExpressions	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_LeftHandSide	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_MaybeDeclarations	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_MaybeExpression	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Module
1 (Function)	Helium.StaticAnalysis.Inferencers.KindInferencing
2 (Function)	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Pattern	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Patterns	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Qualifier	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Qualifiers	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_RecordExpressionBinding	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_RecordExpressionBindings	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_RightHandSide	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Statement	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_Statements	Helium.StaticAnalysis.Inferencers.TypeInferencing
importEnvironment_Inh_TypingStrategies	Helium.StaticAnalysis.Directives.TS_ToCore
importEnvironment_Inh_TypingStrategy
1 (Function)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)	Helium.StaticAnalysis.Directives.TS_ToCore
importEnv_Inh_Body	Helium.CodeGeneration.CodeGeneration
importEnv_Inh_Constructor	Helium.CodeGeneration.CodeGeneration
importEnv_Inh_Constructors	Helium.CodeGeneration.CodeGeneration
importEnv_Inh_Declaration	Helium.CodeGeneration.CodeGeneration
importEnv_Inh_Declarations	Helium.CodeGeneration.CodeGeneration
importEnv_Inh_Module	Helium.CodeGeneration.CodeGeneration
Imports	Helium.Syntax.UHA_Syntax
ImportSpecification	Helium.Syntax.UHA_Syntax
ImportSpecification_Import	Helium.Syntax.UHA_Syntax
Import_TypeOrClass	Helium.Syntax.UHA_Syntax
Import_TypeOrClassComplete	Helium.Syntax.UHA_Syntax
Import_Variable	Helium.Syntax.UHA_Syntax
imps_Syn_Import	Helium.ModuleSystem.ExtractImportDecls
imps_Syn_Imports	Helium.ModuleSystem.ExtractImportDecls
imps_Syn_ImportSpecification	Helium.ModuleSystem.ExtractImportDecls
imps_Syn_MaybeImportSpecification	Helium.ModuleSystem.ExtractImportDecls
InconsistentConstraint	Helium.StaticAnalysis.Directives.TS_Messages
incPos	Helium.Parser.LexerMonad
indexOf	Helium.Utils.Utils
InfiniteElement	Helium.StaticAnalysis.Inferencers.TypeInferencing
InfoItem	Helium.StaticAnalysis.Messages.Information
Information	Helium.Main.Args, Helium.Main.CompileUtils
InfoTree	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
InfoTrees	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
infoTrees_Syn_Alternative	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_Alternatives	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_Declaration	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_Declarations	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_Expressions	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_FunctionBindings	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_GuardedExpression	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_GuardedExpressions	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_LeftHandSide	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_MaybeDeclarations	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_MaybeExpression	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_Patterns	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_Qualifiers	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTrees_Syn_Statements	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_Body	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_Expression	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_FunctionBinding	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_Module	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_Pattern	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_Qualifier	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_RightHandSide	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTree_Syn_Statement	Helium.StaticAnalysis.Inferencers.TypeInferencing
infoTuple_Inh_Core_Judgement	Helium.StaticAnalysis.Directives.TS_Apply
infoTuple_Inh_Core_Judgements	Helium.StaticAnalysis.Directives.TS_Apply
infoTuple_Inh_Core_TypeRule	Helium.StaticAnalysis.Directives.TS_Apply
infoTuple_Inh_Core_TypingStrategy	Helium.StaticAnalysis.Directives.TS_Apply
infoTuple_Inh_Core_UserStatement	Helium.StaticAnalysis.Directives.TS_Apply
infoTuple_Inh_Core_UserStatements	Helium.StaticAnalysis.Directives.TS_Apply
InheritedBDG	Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
inheritedBDG_Inh_Declaration	Helium.StaticAnalysis.Inferencers.TypeInferencing
inheritedBDG_Inh_Declarations	Helium.StaticAnalysis.Inferencers.TypeInferencing
Inh_Alternative
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Alternatives
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_AnnotatedType
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_AnnotatedTypes
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Body
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Constructor
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Constructors
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_ContextItem
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_ContextItems
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Core_Judgement
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Apply
Inh_Core_Judgements
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Apply
Inh_Core_TypeRule
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Apply
Inh_Core_TypingStrategy
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Apply
Inh_Core_UserStatement
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Apply
Inh_Core_UserStatements
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Apply
Inh_Declaration
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Declarations
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Export
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Exports
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Expression
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Expressions
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_FieldDeclaration
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_FieldDeclarations
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Fixity
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_FunctionBinding
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_FunctionBindings
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_GuardedExpression
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_GuardedExpressions
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Import
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_ImportDeclaration
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_ImportDeclarations
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Imports
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_ImportSpecification
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Judgement
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
Inh_LeftHandSide
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Literal
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_MaybeDeclarations
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_MaybeExports
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_MaybeExpression
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_MaybeImportSpecification
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_MaybeInt
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_MaybeName
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_MaybeNames
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Module
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Name
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Names
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Pattern
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Patterns
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Position
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Qualifier
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Qualifiers
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Range
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_RecordExpressionBinding
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_RecordExpressionBindings
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_RecordPatternBinding
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_RecordPatternBindings
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_RightHandSide
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_SimpleJudgement
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
Inh_SimpleJudgements
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
Inh_SimpleType
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Statement
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Statements
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Strings
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_Type
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_TypeRule
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
Inh_Types
1 (Type/Class)	Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)	Helium.ModuleSystem.ExtractImportDecls
3 (Type/Class)	Helium.Syntax.UHA_Pretty
4 (Data Constructor)	Helium.Syntax.UHA_Pretty
5 (Type/Class)	Helium.Parser.ResolveOperators
6 (Data Constructor)	Helium.Parser.ResolveOperators
7 (Type/Class)	Helium.Syntax.UHA_OneLine
8 (Data Constructor)	Helium.Syntax.UHA_OneLine
9 (Type/Class)	Helium.StaticAnalysis.Inferencers.KindInferencing
10 (Data Constructor)	Helium.StaticAnalysis.Inferencers.KindInferencing
11 (Type/Class)	Helium.StaticAnalysis.StaticChecks.StaticChecks
12 (Data Constructor)	Helium.StaticAnalysis.StaticChecks.StaticChecks
13 (Type/Class)	Helium.StaticAnalysis.Inferencers.TypeInferencing
14 (Data Constructor)	Helium.StaticAnalysis.Inferencers.TypeInferencing
15 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
16 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
17 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
18 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
19 (Type/Class)	Helium.CodeGeneration.CodeGeneration
20 (Data Constructor)	Helium.CodeGeneration.CodeGeneration
Inh_TypingStrategies
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
Inh_TypingStrategy
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
Inh_UserStatement
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
Inh_UserStatements
1 (Type/Class)	Helium.StaticAnalysis.Directives.TS_Analyse
2 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_Analyse
3 (Type/Class)	Helium.StaticAnalysis.Directives.TS_ToCore
4 (Data Constructor)	Helium.StaticAnalysis.Directives.TS_ToCore
InputBDG	Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
insertDictionaries	Helium.CodeGeneration.CodeGeneration
insertedMain	Helium.CodeGeneration.CodeGeneration
InstantiatedTypeScheme	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
internalError	Helium.Utils.Utils
interpreterMain	Helium.CodeGeneration.CodeGeneration
intErr
1 (Function)	Helium.Syntax.UHA_Pretty
2 (Function)	Helium.Syntax.UHA_OneLine
IntLiteralTooBig	Helium.StaticAnalysis.Messages.StaticErrors
intUnaryMinusName	Helium.Syntax.UHA_Utils
inv_Alternatives_s5
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
inv_Alternative_s2
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
inv_AnnotatedTypes_s11
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
inv_AnnotatedType_s8
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
inv_Body_s14
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
inv_Constructors_s20
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
inv_Constructor_s17
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
inv_ContextItems_s26
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
inv_ContextItem_s23
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
inv_Declarations_s32
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
inv_Declaration_s29
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
inv_Exports_s38
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
inv_Export_s35
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
inv_Expressions_s44
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
inv_Expression_s41
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
inv_FieldDeclarations_s50
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
inv_FieldDeclaration_s47
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
inv_Fixity_s53
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
inv_FunctionBindings_s59
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
inv_FunctionBinding_s56
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
inv_GuardedExpressions_s65
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
inv_GuardedExpression_s62
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
inv_ImportDeclarations_s74
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
inv_ImportDeclaration_s71
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
inv_ImportSpecification_s77
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
inv_Imports_s80
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
inv_Import_s68
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
inv_Judgement_s83	Helium.StaticAnalysis.Directives.TS_Analyse
inv_LeftHandSide_s83
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.CodeGeneration.CodeGeneration
inv_LeftHandSide_s86	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Literal_s86
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.CodeGeneration.CodeGeneration
inv_Literal_s89	Helium.StaticAnalysis.Directives.TS_Analyse
inv_MaybeDeclarations_s89
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.CodeGeneration.CodeGeneration
inv_MaybeDeclarations_s92	Helium.StaticAnalysis.Directives.TS_Analyse
inv_MaybeExports_s92
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.CodeGeneration.CodeGeneration
inv_MaybeExports_s95	Helium.StaticAnalysis.Directives.TS_Analyse
inv_MaybeExpression_s95
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.CodeGeneration.CodeGeneration
inv_MaybeExpression_s98	Helium.StaticAnalysis.Directives.TS_Analyse
inv_MaybeImportSpecification_s101	Helium.StaticAnalysis.Directives.TS_Analyse
inv_MaybeImportSpecification_s98
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.CodeGeneration.CodeGeneration
inv_MaybeInt_s101
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.CodeGeneration.CodeGeneration
inv_MaybeInt_s104	Helium.StaticAnalysis.Directives.TS_Analyse
inv_MaybeNames_s107
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.CodeGeneration.CodeGeneration
inv_MaybeNames_s110	Helium.StaticAnalysis.Directives.TS_Analyse
inv_MaybeName_s104
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.CodeGeneration.CodeGeneration
inv_MaybeName_s107	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Module_s110
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.CodeGeneration.CodeGeneration
inv_Module_s113	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Names_s116
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.CodeGeneration.CodeGeneration
inv_Names_s119	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Name_s113
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.CodeGeneration.CodeGeneration
inv_Name_s116	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Patterns_s122
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.CodeGeneration.CodeGeneration
inv_Patterns_s125	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Pattern_s119
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.CodeGeneration.CodeGeneration
inv_Pattern_s122	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Position_s125
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.CodeGeneration.CodeGeneration
inv_Position_s128	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Qualifiers_s131
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.CodeGeneration.CodeGeneration
inv_Qualifiers_s134	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Qualifier_s128
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.CodeGeneration.CodeGeneration
inv_Qualifier_s131	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Range_s134
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.CodeGeneration.CodeGeneration
inv_Range_s137	Helium.StaticAnalysis.Directives.TS_Analyse
inv_RecordExpressionBindings_s140
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.CodeGeneration.CodeGeneration
inv_RecordExpressionBindings_s143	Helium.StaticAnalysis.Directives.TS_Analyse
inv_RecordExpressionBinding_s137
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.CodeGeneration.CodeGeneration
inv_RecordExpressionBinding_s140	Helium.StaticAnalysis.Directives.TS_Analyse
inv_RecordPatternBindings_s146
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.CodeGeneration.CodeGeneration
inv_RecordPatternBindings_s149	Helium.StaticAnalysis.Directives.TS_Analyse
inv_RecordPatternBinding_s143
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.CodeGeneration.CodeGeneration
inv_RecordPatternBinding_s146	Helium.StaticAnalysis.Directives.TS_Analyse
inv_RightHandSide_s149
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.CodeGeneration.CodeGeneration
inv_RightHandSide_s152	Helium.StaticAnalysis.Directives.TS_Analyse
inv_SimpleJudgements_s158	Helium.StaticAnalysis.Directives.TS_Analyse
inv_SimpleJudgement_s155	Helium.StaticAnalysis.Directives.TS_Analyse
inv_SimpleType_s152
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.CodeGeneration.CodeGeneration
inv_SimpleType_s161	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Statements_s158
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.CodeGeneration.CodeGeneration
inv_Statements_s167	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Statement_s155
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.CodeGeneration.CodeGeneration
inv_Statement_s164	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Strings_s161
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.CodeGeneration.CodeGeneration
inv_Strings_s170	Helium.StaticAnalysis.Directives.TS_Analyse
inv_TypeRule_s176	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Types_s167
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.CodeGeneration.CodeGeneration
inv_Types_s179	Helium.StaticAnalysis.Directives.TS_Analyse
inv_Type_s164
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.CodeGeneration.CodeGeneration
inv_Type_s173	Helium.StaticAnalysis.Directives.TS_Analyse
inv_TypingStrategies_s182	Helium.StaticAnalysis.Directives.TS_Analyse
inv_TypingStrategy_s185	Helium.StaticAnalysis.Directives.TS_Analyse
inv_UserStatements_s191	Helium.StaticAnalysis.Directives.TS_Analyse
inv_UserStatement_s188	Helium.StaticAnalysis.Directives.TS_Analyse
isBinary	Helium.Parser.ResolveOperators
isConstructor	Helium.Syntax.UHA_Utils
isEmptyInfixApplication	Helium.StaticAnalysis.Heuristics.RepairHeuristics
isExplicitlyTyped	Helium.StaticAnalysis.Heuristics.RepairHeuristics
isExplicitTypedBinding	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
isExprTyped	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
IsExprVariable	Helium.StaticAnalysis.Heuristics.RepairHeuristics
isExprVariable	Helium.StaticAnalysis.Heuristics.RepairHeuristics
isFolkloreConstraint	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
IsFunctionBinding	Helium.StaticAnalysis.Heuristics.RepairHeuristics
isGuarded_Syn_RightHandSide	Helium.CodeGeneration.CodeGeneration
isHighlyTrusted	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
isIdentifierName	Helium.Syntax.UHA_Utils
isIdentifier_Syn_Name
1 (Function)	Helium.Syntax.UHA_Pretty
2 (Function)	Helium.Syntax.UHA_OneLine
isIdentifier_Syn_Names
1 (Function)	Helium.Syntax.UHA_Pretty
2 (Function)	Helium.Syntax.UHA_OneLine
IsImported	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
isImportName	Helium.Syntax.UHA_Range
isImportRange	Helium.Syntax.UHA_Range
isInfiniteElement	Helium.StaticAnalysis.Inferencers.TypeInferencing
isLooksLikeFloatWarningInfo	Helium.Parser.LexerMessage, Helium.Parser.Lexer
isNothing_Syn_MaybeName
1 (Function)	Helium.ModuleSystem.ExtractImportDecls
2 (Function)	Helium.CodeGeneration.CodeGeneration
isOperatorName	Helium.Syntax.UHA_Utils
isOperator_Syn_Name
1 (Function)	Helium.Syntax.UHA_Pretty
2 (Function)	Helium.Syntax.UHA_OneLine
isOperator_Syn_Names
1 (Function)	Helium.Syntax.UHA_Pretty
2 (Function)	Helium.Syntax.UHA_OneLine
IsPattern	Helium.StaticAnalysis.Heuristics.OnlyResultHeuristics
isPattern	Helium.StaticAnalysis.Heuristics.OnlyResultHeuristics
isSimplePattern
1 (Function)	Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)	Helium.StaticAnalysis.Inferencers.TypeInferencing
isSpecial_Syn_Name
1 (Function)	Helium.Syntax.UHA_Pretty
2 (Function)	Helium.Syntax.UHA_OneLine
isSpecial_Syn_Names
1 (Function)	Helium.Syntax.UHA_Pretty
2 (Function)	Helium.Syntax.UHA_OneLine
isTopDown	Helium.StaticAnalysis.Heuristics.TieBreakerHeuristics
isTopLevel_Inh_Declaration	Helium.CodeGeneration.CodeGeneration
isTopLevel_Inh_Declarations	Helium.CodeGeneration.CodeGeneration
IsTupleEdge	Helium.StaticAnalysis.Heuristics.RepairHeuristics
isTupleEdge	Helium.StaticAnalysis.Heuristics.RepairHeuristics
isUnary	Helium.Parser.ResolveOperators
IsUnifier	Helium.StaticAnalysis.Heuristics.UnifierHeuristics
isUnifier	Helium.StaticAnalysis.Heuristics.UnifierHeuristics
IsUserConstraint	Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
itemDescription	Helium.StaticAnalysis.Messages.Information