helium-1.8: The Helium Compiler.

Index - S

safeReadFileHelium.Main.Compile
satisfyHelium.Parser.ParseLibrary
ScopeInfo 
1 (Type/Class)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Type/Class)Helium.StaticAnalysis.Inferencers.TypeInferencing
section_Syn_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
selectHelium.Utils.Texts
selectChildHelium.StaticAnalysis.Miscellaneous.DoublyLinkedTree
SelectConstraintNumberHelium.Main.Args, Helium.Main.CompileUtils
selectConstraintSolverHelium.StaticAnalysis.Inferencers.SelectConstraintSolver
selectRootHelium.StaticAnalysis.Miscellaneous.DoublyLinkedTree
selfHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
self_Syn_Alternative 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Alternatives 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_AnnotatedType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_AnnotatedTypes 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Body 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Constructor 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Constructors 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_ContextItem 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_ContextItems 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Declaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Declarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Export 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Exports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Expression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Expressions 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_FieldDeclaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_FieldDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Fixity 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_FunctionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_FunctionBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_GuardedExpression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_GuardedExpressions 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Import 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_ImportDeclaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_ImportDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Imports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_ImportSpecification 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Judgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
self_Syn_LeftHandSide 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Literal 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_MaybeDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_MaybeExports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_MaybeExpression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_MaybeImportSpecification 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_MaybeInt 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_MaybeName 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_MaybeNames 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Module 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Name 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Names 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Pattern 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Patterns 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Position 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Qualifier 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Qualifiers 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Range 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_RecordExpressionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_RecordExpressionBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_RecordPatternBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_RecordPatternBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_RightHandSide 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_SimpleJudgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
self_Syn_SimpleJudgements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
self_Syn_SimpleType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Statement 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Statements 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Strings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_Type 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
self_Syn_Types 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Parser.ResolveOperators
3 (Function)Helium.Syntax.UHA_OneLine
4 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
5 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
6 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
7 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
8 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
9 (Function)Helium.CodeGeneration.CodeGeneration
self_Syn_TypingStrategies 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
self_Syn_TypingStrategy 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
self_Syn_UserStatement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
self_Syn_UserStatements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
semiOrInsertedSemiSepTermHelium.Parser.ParseLibrary
semiOrInsertedSemiSepTerm1Helium.Parser.ParseLibrary
semiSepTermHelium.Parser.ParseLibrary
semiSepTerm1Helium.Parser.ParseLibrary
semPHelium.StaticAnalysis.Messages.Warnings
sem_Alternative 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Alternatives 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Alternatives_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Alternatives_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Alternative_Alternative 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Alternative_Empty 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Alternative_Feedback 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Alternative_Hole 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_AnnotatedType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_AnnotatedTypes 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_AnnotatedTypes_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_AnnotatedTypes_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_AnnotatedType_AnnotatedType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Body 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Body_Body 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Body_Hole 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Constructor 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Constructors 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Constructors_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Constructors_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Constructor_Constructor 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Constructor_Infix 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Constructor_Record 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ContextItem 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ContextItems 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ContextItems_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ContextItems_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ContextItem_ContextItem 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Core_JudgementHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_JudgementsHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_Judgements_ConsHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_Judgements_NilHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_Judgement_JudgementHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_TypeRuleHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_TypeRule_TypeRuleHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_TypingStrategyHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_TypingStrategy_SiblingsHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_TypingStrategy_TypingStrategyHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatements_ConsHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatements_NilHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatement_CorePhaseHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatement_EqualHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatement_MetaVariableConstraintsHelium.StaticAnalysis.Directives.TS_Apply
sem_Core_UserStatement_PredHelium.StaticAnalysis.Directives.TS_Apply
sem_Declaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declarations_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declarations_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Class 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Data 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Default 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Empty 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Fixity 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_FunctionBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Hole 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Instance 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Newtype 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_PatternBinding 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_Type 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Declaration_TypeSignature 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Export 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Exports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Exports_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Exports_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Export_Module 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Export_TypeOrClass 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Export_TypeOrClassComplete 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Export_Variable 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expressions 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expressions_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expressions_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Case 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Comprehension 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Constructor 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Do 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Enum 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Feedback 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Hole 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_If 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_InfixApplication 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Lambda 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Let 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_List 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Literal 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_MustUse 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Negate 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_NegateFloat 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_NormalApplication 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Parenthesized 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_RecordConstruction 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_RecordUpdate 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Tuple 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Typed 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Expression_Variable 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FieldDeclaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FieldDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FieldDeclarations_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FieldDeclarations_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FieldDeclaration_FieldDeclaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Fixity 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Fixity_Infix 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Fixity_Infixl 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Fixity_Infixr 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FunctionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FunctionBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FunctionBindings_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FunctionBindings_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FunctionBinding_Feedback 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FunctionBinding_FunctionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_FunctionBinding_Hole 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_GuardedExpression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_GuardedExpressions 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_GuardedExpressions_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_GuardedExpressions_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_GuardedExpression_GuardedExpression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Import 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportDeclaration 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportDeclarations_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportDeclarations_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportDeclaration_Empty 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportDeclaration_Import 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Imports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportSpecification 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_ImportSpecification_Import 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Imports_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Imports_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Import_TypeOrClass 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Import_TypeOrClassComplete 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Import_Variable 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Judgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_Judgement_Judgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_LeftHandSide 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_LeftHandSide_Function 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_LeftHandSide_Infix 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_LeftHandSide_Parenthesized 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Literal 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Literal_Char 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Literal_Float 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Literal_Int 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Literal_String 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeDeclarations 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeDeclarations_Just 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeDeclarations_Nothing 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeExports 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeExports_Just 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeExports_Nothing 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeExpression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeExpression_Just 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeExpression_Nothing 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeImportSpecification 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeImportSpecification_Just 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeImportSpecification_Nothing 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeInt 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeInt_Just 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeInt_Nothing 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeName 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeNames 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeNames_Just 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeNames_Nothing 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeName_Just 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_MaybeName_Nothing 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Module 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Module_Module 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Name 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Names 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Names_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Names_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Name_Identifier 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Name_Operator 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Name_Special 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Patterns 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Patterns_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Patterns_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_As 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Constructor 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Hole 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_InfixConstructor 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Irrefutable 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_List 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Literal 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Negate 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_NegateFloat 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Parenthesized 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Record 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Successor 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Tuple 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Variable 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Pattern_Wildcard 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Position 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Position_Position 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Position_Unknown 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifier 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifiers 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifiers_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifiers_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifier_Empty 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifier_Generator 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifier_Guard 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Qualifier_Let 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Range 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Range_Range 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordExpressionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordExpressionBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordExpressionBindings_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordExpressionBindings_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordExpressionBinding_RecordExpressionBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordPatternBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordPatternBindings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordPatternBindings_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordPatternBindings_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RecordPatternBinding_RecordPatternBinding 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RightHandSide 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RightHandSide_Expression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_RightHandSide_Guarded 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_SimpleJudgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_SimpleJudgements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_SimpleJudgements_Cons 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_SimpleJudgements_Nil 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_SimpleJudgement_SimpleJudgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_SimpleType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_SimpleType_SimpleType 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statement 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statements 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statements_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statements_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statement_Empty 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statement_Expression 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statement_Generator 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Statement_Let 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Strings 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Strings_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Strings_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_TypeRule_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_Types 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Types_Cons 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Types_Nil 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type_Application 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type_Constructor 
1 (Function)Helium.ModuleSystem.ExtractImportDecls
2 (Function)Helium.Syntax.UHA_Pretty
3 (Function)Helium.Parser.ResolveOperators
4 (Function)Helium.Syntax.UHA_OneLine
5 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type_Exists 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type_Forall 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type_Parenthesized 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type_Qualified 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_Type_Variable 
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.StaticAnalysis.Directives.TS_ToCore
10 (Function)Helium.CodeGeneration.CodeGeneration
sem_TypingStrategies 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_TypingStrategies_Cons 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_TypingStrategies_Nil 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_TypingStrategy 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_TypingStrategy_Siblings 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_TypingStrategy_TypingStrategy 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatements_Cons 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatements_Nil 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatement_Equal 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatement_MetaVariableConstraints 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatement_Phase 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sem_UserStatement_Pred 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
sendLogHelium.Main.CompileUtils
sensiblySimilarHelium.StaticAnalysis.Messages.StaticErrors
sepByHelium.Syntax.UHA_OneLine
setNameRangeHelium.Syntax.UHA_Range
setOperatorTableHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
setTypeConstructorsHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
setTypeEnvironmentHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
setTypeErrorHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
setTypePairHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
setTypeSynonymsHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
setValueConstructorsHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
ShadowHelium.StaticAnalysis.Messages.Warnings
showErrorHelium.StaticAnalysis.Messages.StaticErrors
showErrorsAndExitHelium.Main.CompileUtils
showExpressionHelium.StaticAnalysis.Directives.TS_Parser
showFullRangeHelium.Syntax.UHA_Range
showFunctionOfTypeHelium.CodeGeneration.DerivingShow
showHintsHelium.StaticAnalysis.Messages.HeliumMessages
showInformationHelium.StaticAnalysis.Messages.Information
showMaybeFixityHelium.StaticAnalysis.Messages.Information
showMessageHelium.StaticAnalysis.Messages.HeliumMessages
showMessagesHelium.Main.CompileUtils
showNameAsOperatorHelium.Syntax.UHA_Utils
showNameAsVariableHelium.Syntax.UHA_Utils
showNumberHelium.StaticAnalysis.Messages.Messages
showOneLineHelium.Utils.OneLiner
showPositionHelium.Syntax.UHA_Range
showRangeHelium.Syntax.UHA_Range
showRangesHelium.Syntax.UHA_Range
showTableHelium.StaticAnalysis.Messages.HeliumMessages
showTS_ErrorHelium.StaticAnalysis.Directives.TS_Messages
showTS_WarningHelium.StaticAnalysis.Directives.TS_Messages
showWarningHelium.StaticAnalysis.Messages.Warnings
siblingFunctionsHelium.StaticAnalysis.Heuristics.RepairHeuristics
siblingLiteralsHelium.StaticAnalysis.Heuristics.RepairHeuristics
Siblings 
1 (Data Constructor)Helium.StaticAnalysis.Directives.TS_CoreSyntax
2 (Type/Class)Helium.StaticAnalysis.Heuristics.RepairHeuristics
SignatureTooSpecificHelium.StaticAnalysis.Messages.Warnings
SignatureWarningsHelium.Main.Args, Helium.Main.CompileUtils
similarHelium.Utils.Similarity
SimilarFunctionBindingsHelium.StaticAnalysis.Messages.Warnings
similarNegationHelium.StaticAnalysis.Heuristics.RepairHeuristics
SimpleJudgementHelium.StaticAnalysis.Directives.TS_Syntax
SimpleJudgementsHelium.StaticAnalysis.Directives.TS_Syntax
simpleJudgements_Inh_SimpleJudgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
simpleJudgements_Inh_SimpleJudgements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
simpleJudgements_Inh_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
simpleJudgements_Syn_SimpleJudgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
simpleJudgements_Syn_SimpleJudgements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
simpleJudgements_Syn_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
SimpleJudgement_SimpleJudgementHelium.StaticAnalysis.Directives.TS_Syntax
simplePatNames_Syn_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
simplePatNames_Syn_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
simplePatternHelium.StaticAnalysis.StaticChecks.StaticChecks
SimpleTypeHelium.Syntax.UHA_Syntax
simpletype_Inh_ConstructorHelium.StaticAnalysis.StaticChecks.StaticChecks
simpletype_Inh_ConstructorsHelium.StaticAnalysis.StaticChecks.StaticChecks
SimpleType_SimpleTypeHelium.Syntax.UHA_Syntax
simplifyContextHelium.StaticAnalysis.StaticChecks.StaticChecks
simplifyOptionsHelium.Main.Args
singleHelium.StaticAnalysis.Inferencers.BindingGroupAnalysis
skip_UHA_FB_RHSHelium.StaticAnalysis.Heuristics.HeuristicsInfo
SkolemizedTypeSchemeHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
snd3Helium.Utils.Utils
snd4Helium.Utils.Utils
SolverChunksHelium.Main.Args, Helium.Main.CompileUtils
SolverCombinationHelium.Main.Args, Helium.Main.CompileUtils
solveResult_Syn_ModuleHelium.StaticAnalysis.Inferencers.TypeInferencing
SolverGreedyHelium.Main.Args, Helium.Main.CompileUtils
SolverSimpleHelium.Main.Args, Helium.Main.CompileUtils
SolverTypeGraphHelium.Main.Args, Helium.Main.CompileUtils
sortAndShowMessagesHelium.StaticAnalysis.Messages.HeliumMessages
sortMessagesHelium.StaticAnalysis.Messages.Messages
sortNamesByRangeHelium.StaticAnalysis.Messages.Messages
sortRangesHelium.Syntax.UHA_Range
SoundnessHelium.StaticAnalysis.Directives.TS_Messages
sourcePosToPositionHelium.Parser.ParseLibrary
sourcesHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
specialHelium.StaticAnalysis.Directives.TS_Parser
specialApplicationTypeErrorHelium.StaticAnalysis.Heuristics.HeuristicsInfo
specialConstraintHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
specialUnifierTypeErrorHelium.StaticAnalysis.Heuristics.HeuristicsInfo
splitFilePathHelium.Utils.Utils, Helium.Main.CompileUtils
splitStringHelium.StaticAnalysis.Messages.HeliumMessages
splitStringMarginHelium.StaticAnalysis.Messages.HeliumMessages
spreadFromTypeHelium.StaticAnalysis.Miscellaneous.TypeConstraints
spreadFunctionHelium.StaticAnalysis.Miscellaneous.TypeConstraints
standardConstraintInfoHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
standardConstraintInfo_Inh_UserStatement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
standardConstraintInfo_Inh_UserStatements 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
StateHelium.Parser.ResolveOperators
StatementHelium.Syntax.UHA_Syntax
StatementsHelium.Syntax.UHA_Syntax
Statement_EmptyHelium.Syntax.UHA_Syntax
Statement_ExpressionHelium.Syntax.UHA_Syntax
Statement_GeneratorHelium.Syntax.UHA_Syntax
Statement_LetHelium.Syntax.UHA_Syntax
StillOpenAtEOFHelium.Parser.LexerMessage, Helium.Parser.Lexer
StopAfterDesugarHelium.Main.Args, Helium.Main.CompileUtils
StopAfterParserHelium.Main.Args, Helium.Main.CompileUtils
StopAfterStaticAnalysisHelium.Main.Args, Helium.Main.CompileUtils
StopAfterTypeInferencingHelium.Main.Args, Helium.Main.CompileUtils
stopCompilingIfHelium.Main.Compile
strategiesLexerHelium.Parser.Lexer
stringFromImportDeclarationHelium.Syntax.UHA_Utils
stringPatHelium.StaticAnalysis.Inferencers.TypeInferencing
StringsHelium.Syntax.UHA_Syntax
stringToCoreHelium.CodeGeneration.CoreUtils
strongerOpHelium.Parser.ResolveOperators
substituteHelium.StaticAnalysis.Inferencers.TypeInferencing
substituteAttributesHelium.StaticAnalysis.Directives.TS_Attributes
substitution_Inh_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_Core_JudgementHelium.StaticAnalysis.Directives.TS_Apply
substitution_Inh_Core_JudgementsHelium.StaticAnalysis.Directives.TS_Apply
substitution_Inh_Core_TypeRuleHelium.StaticAnalysis.Directives.TS_Apply
substitution_Inh_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
substitution_Inh_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
substitution_Inh_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
substitution_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
superClassRelationHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
suspiciousFBs_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
suspiciousFBs_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
suspiciousFBs_Syn_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
suspiciousFBs_Syn_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
SuspiciousTypeVariableHelium.StaticAnalysis.Messages.Warnings
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_Core_Judgement 
1 (Type/Class)Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Apply
Syn_Core_Judgements 
1 (Type/Class)Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Apply
Syn_Core_TypeRule 
1 (Type/Class)Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Apply
Syn_Core_TypingStrategy 
1 (Type/Class)Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Apply
Syn_Core_UserStatement 
1 (Type/Class)Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Apply
Syn_Core_UserStatements 
1 (Type/Class)Helium.StaticAnalysis.Directives.TS_Apply
2 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Apply
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
Syn_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
sysHelium.Main.CompileUtils