helium-1.8: The Helium Compiler.

Index - C

CannotDeriveHelium.StaticAnalysis.Messages.StaticErrors
capitalizeHelium.StaticAnalysis.Messages.Messages
caseExprIdHelium.CodeGeneration.CodeGeneration
caseRange_Inh_AlternativesHelium.CodeGeneration.CodeGeneration
chainCodeHelium.CodeGeneration.CodeGeneration
changeAttributesHelium.StaticAnalysis.Directives.TS_Attributes
changeOfScope 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
changeTypeVariablesHelium.StaticAnalysis.Heuristics.TieBreakerHeuristics
checkBracketsAtEOFHelium.Parser.LexerMonad
checkExistenceHelium.Main.CompileUtils
checkExportHelium.StaticAnalysis.StaticChecks.StaticChecks
checkKindHelium.StaticAnalysis.StaticChecks.StaticChecks
checkTypeHelium.StaticAnalysis.StaticChecks.StaticChecks
checkTypeSignaturesHelium.StaticAnalysis.StaticChecks.StaticChecks
childConstraintHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
childrenHelium.StaticAnalysis.Miscellaneous.DoublyLinkedTree
cinfoBindingGroupExplicitHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoBindingGroupExplicitTypedBindingHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoBindingGroupImplicitHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoGeneralizeHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
cinfoSameBindingGroupHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
CInfo_Helium.StaticAnalysis.Miscellaneous.ConstraintInfo
classEnvironment_Inh_Alternative 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Alternatives 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Body 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Declaration 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Declarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Expression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Expressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_FunctionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_FunctionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_GuardedExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_GuardedExpressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_MaybeDeclarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_MaybeExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Qualifier 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Qualifiers 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_RecordExpressionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_RecordExpressionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_RightHandSide 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Statement 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
classEnvironment_Inh_Statements 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
closeBracketHelium.Parser.LexerMonad
collectConstraints_Inh_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
collectConstraints_Inh_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
collectConstraints_Syn_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
collectConstraints_Syn_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
collectEnvironment_Syn_ModuleHelium.StaticAnalysis.StaticChecks.StaticChecks
collectErrors_Inh_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
collectErrors_Syn_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectInfixdeclsHelium.Parser.ResolveOperators
collectInstances_Syn_Alternative 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Alternatives 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Body 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Declaration 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Declarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Expression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Expressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_FunctionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_FunctionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_GuardedExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_GuardedExpressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_MaybeDeclarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_MaybeExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Qualifier 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Qualifiers 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_RecordExpressionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_RecordExpressionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_RightHandSide 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Statement 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectInstances_Syn_Statements 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
collectScopeInfos_Inh_AlternativeHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_AlternativesHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_ExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_ExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_FunctionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_FunctionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_GuardedExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_GuardedExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_LeftHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_LiteralHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_MaybeDeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_MaybeExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_PatternHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_PatternsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_QualifierHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_QualifiersHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordExpressionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordExpressionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordPatternBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RecordPatternBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_RightHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_StatementHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Inh_StatementsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_AlternativeHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_AlternativesHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_ExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_ExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_FunctionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_FunctionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_GuardedExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_GuardedExpressionsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_LeftHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_LiteralHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_MaybeDeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_MaybeExpressionHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_PatternHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_PatternsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_QualifierHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_QualifiersHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordExpressionBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordExpressionBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordPatternBindingHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RecordPatternBindingsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_RightHandSideHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_StatementHelium.StaticAnalysis.StaticChecks.StaticChecks
collectScopeInfos_Syn_StatementsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Inh_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Syn_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Syn_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeConstructors_Syn_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Inh_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Syn_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Syn_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectTypeSynonyms_Syn_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_ConstructorHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_ConstructorsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Inh_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_BodyHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_ConstructorHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_ConstructorsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_DeclarationHelium.StaticAnalysis.StaticChecks.StaticChecks
collectValueConstructors_Syn_DeclarationsHelium.StaticAnalysis.StaticChecks.StaticChecks
collectWarnings_Inh_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
collectWarnings_Syn_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
combineHelium.StaticAnalysis.Inferencers.BindingGroupAnalysis
combineBindingGroup 
1 (Function)Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
2 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
combineImportEnvironmentsHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
combinePathAndFileHelium.Utils.Utils, Helium.Main.CompileUtils
commaListHelium.Utils.Utils
commas 
1 (Function)Helium.Syntax.UHA_Pretty
2 (Function)Helium.Parser.ParseLibrary
commas1Helium.Parser.ParseLibrary
commasAndHelium.Utils.Texts
CommentOperatorHelium.Parser.LexerMessage, Helium.Parser.Lexer
compileHelium.Main.Compile
CompileOptionsHelium.Main.CompileUtils
complementHelium.StaticAnalysis.Inferencers.TypeInferencing
conHelium.Parser.ParseLibrary
concatBindingGroups 
1 (Function)Helium.StaticAnalysis.Inferencers.BindingGroupAnalysis
2 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
conclusionAllVariables_Syn_TypeRuleHelium.StaticAnalysis.Directives.TS_Analyse
conclusionExpression_Syn_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
conclusionType_Syn_Judgement 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
conclusionType_Syn_TypeRule 
1 (Function)Helium.StaticAnalysis.Directives.TS_Analyse
2 (Function)Helium.StaticAnalysis.Directives.TS_ToCore
conidHelium.Parser.ParseLibrary
conopHelium.Parser.ParseLibrary
consHelium.CodeGeneration.CoreUtils
consInScope_Inh_ExportHelium.StaticAnalysis.StaticChecks.StaticChecks
consInScope_Inh_ExportsHelium.StaticAnalysis.StaticChecks.StaticChecks
consInScope_Inh_MaybeExportsHelium.StaticAnalysis.StaticChecks.StaticChecks
ConstraintInfoHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
ConstraintPhaseNumberHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
ConstraintSetHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
ConstraintSetsHelium.StaticAnalysis.Miscellaneous.ConstraintInfo
constraintSet_Syn_Core_TypingStrategyHelium.StaticAnalysis.Directives.TS_Apply
constraintslist_Syn_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraintslist_Syn_PatternsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_AnnotatedTypeHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_AnnotatedTypesHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_ConstructorHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_ConstructorsHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_SimpleTypeHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Inh_TypeHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Inh_TypesHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_AnnotatedTypeHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_AnnotatedTypesHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Body 
1 (Function)Helium.StaticAnalysis.Inferencers.KindInferencing
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_ConstructorHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_ConstructorsHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_Core_TypeRuleHelium.StaticAnalysis.Directives.TS_Apply
constraints_Syn_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_LeftHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_PatternHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_SimpleTypeHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
constraints_Syn_TypeHelium.StaticAnalysis.Inferencers.KindInferencing
constraints_Syn_TypesHelium.StaticAnalysis.Inferencers.KindInferencing
Constructor 
1 (Type/Class)Helium.Syntax.UHA_Syntax
2 (Data Constructor)Helium.StaticAnalysis.Messages.Messages
constructorCustomsHelium.CodeGeneration.CodeGeneration
ConstructorsHelium.Syntax.UHA_Syntax
constructorsHelium.StaticAnalysis.Inferencers.TypeInferencing
Constructor_ConstructorHelium.Syntax.UHA_Syntax
Constructor_InfixHelium.Syntax.UHA_Syntax
Constructor_RecordHelium.Syntax.UHA_Syntax
consymHelium.Parser.ParseLibrary
cons_Syn_ConstructorHelium.CodeGeneration.CodeGeneration
cons_Syn_ConstructorsHelium.CodeGeneration.CodeGeneration
cons_Syn_ExportHelium.CodeGeneration.CodeGeneration
cons_Syn_ExportsHelium.CodeGeneration.CodeGeneration
cons_Syn_MaybeExportsHelium.CodeGeneration.CodeGeneration
contextAndTypeHelium.Parser.Parser
ContextItemHelium.Syntax.UHA_Syntax
ContextItemsHelium.Syntax.UHA_Syntax
ContextItem_ContextItemHelium.Syntax.UHA_Syntax
contextRanges_Syn_ContextItemHelium.StaticAnalysis.StaticChecks.StaticChecks
contextRanges_Syn_ContextItemsHelium.StaticAnalysis.StaticChecks.StaticChecks
contextRange_Syn_TypeHelium.StaticAnalysis.StaticChecks.StaticChecks
contextVars_Syn_ContextItemHelium.StaticAnalysis.StaticChecks.StaticChecks
contextVars_Syn_ContextItemsHelium.StaticAnalysis.StaticChecks.StaticChecks
convertFromSimpleTypeAndTypesHelium.StaticAnalysis.Miscellaneous.TypeConversion
convertSourcesHelium.StaticAnalysis.Miscellaneous.UHA_Source
CoreDeclHelium.CodeGeneration.CodeGeneration
coreImportDecls_Syn_BodyHelium.ModuleSystem.ExtractImportDecls
coreImportDecls_Syn_ImportDeclarationHelium.ModuleSystem.ExtractImportDecls
coreImportDecls_Syn_ImportDeclarationsHelium.ModuleSystem.ExtractImportDecls
coreImportDecls_Syn_ModuleHelium.ModuleSystem.ExtractImportDecls
coreListHelium.CodeGeneration.CoreUtils
CorePhaseHelium.StaticAnalysis.Directives.TS_CoreSyntax
coreToLvmHelium.CodeGeneration.CoreToLvm
Core_JudgementHelium.StaticAnalysis.Directives.TS_CoreSyntax
Core_JudgementsHelium.StaticAnalysis.Directives.TS_CoreSyntax
core_Syn_AlternativeHelium.CodeGeneration.CodeGeneration
core_Syn_AlternativesHelium.CodeGeneration.CodeGeneration
core_Syn_ExpressionHelium.CodeGeneration.CodeGeneration
core_Syn_ExpressionsHelium.CodeGeneration.CodeGeneration
core_Syn_FunctionBindingHelium.CodeGeneration.CodeGeneration
core_Syn_FunctionBindingsHelium.CodeGeneration.CodeGeneration
core_Syn_GuardedExpressionHelium.CodeGeneration.CodeGeneration
core_Syn_GuardedExpressionsHelium.CodeGeneration.CodeGeneration
core_Syn_JudgementHelium.StaticAnalysis.Directives.TS_ToCore
core_Syn_LiteralHelium.CodeGeneration.CodeGeneration
core_Syn_MaybeDeclarationsHelium.CodeGeneration.CodeGeneration
core_Syn_MaybeExpressionHelium.CodeGeneration.CodeGeneration
core_Syn_ModuleHelium.CodeGeneration.CodeGeneration
core_Syn_QualifierHelium.CodeGeneration.CodeGeneration
core_Syn_QualifiersHelium.CodeGeneration.CodeGeneration
core_Syn_RightHandSideHelium.CodeGeneration.CodeGeneration
core_Syn_SimpleJudgementHelium.StaticAnalysis.Directives.TS_ToCore
core_Syn_SimpleJudgementsHelium.StaticAnalysis.Directives.TS_ToCore
core_Syn_StatementHelium.CodeGeneration.CodeGeneration
core_Syn_StatementsHelium.CodeGeneration.CodeGeneration
core_Syn_TypeRuleHelium.StaticAnalysis.Directives.TS_ToCore
core_Syn_TypingStrategyHelium.StaticAnalysis.Directives.TS_ToCore
core_Syn_UserStatementHelium.StaticAnalysis.Directives.TS_ToCore
core_Syn_UserStatementsHelium.StaticAnalysis.Directives.TS_ToCore
Core_TypeRuleHelium.StaticAnalysis.Directives.TS_CoreSyntax
Core_TypingStrategies 
1 (Type/Class)Helium.StaticAnalysis.Directives.TS_CoreSyntax
2 (Type/Class)Helium.StaticAnalysis.Directives.TS_Apply
Core_TypingStrategyHelium.StaticAnalysis.Directives.TS_CoreSyntax
Core_UserStatementHelium.StaticAnalysis.Directives.TS_CoreSyntax
Core_UserStatementsHelium.StaticAnalysis.Directives.TS_CoreSyntax
counter_Inh_Alternative 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Alternatives 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_AnnotatedType 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_AnnotatedTypes 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Body 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Constructor 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Constructors 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Declaration 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Declarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Expression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Expressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FieldDeclaration 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FieldDeclarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FunctionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_FunctionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_GuardedExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_GuardedExpressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_LeftHandSide 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_MaybeDeclarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_MaybeExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Pattern 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Patterns 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Qualifier 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Qualifiers 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordExpressionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordExpressionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordPatternBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RecordPatternBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_RightHandSide 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Statement 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Inh_Statements 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Alternative 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Alternatives 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_AnnotatedType 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_AnnotatedTypes 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Body 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Constructor 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Constructors 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Declaration 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Declarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Expression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Expressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FieldDeclaration 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FieldDeclarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FunctionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_FunctionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_GuardedExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_GuardedExpressions 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_LeftHandSide 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_MaybeDeclarations 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_MaybeExpression 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Pattern 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Patterns 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Qualifier 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Qualifiers 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordExpressionBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordExpressionBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordPatternBinding 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RecordPatternBindings 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_RightHandSide 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Statement 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
counter_Syn_Statements 
1 (Function)Helium.StaticAnalysis.StaticChecks.StaticChecks
2 (Function)Helium.StaticAnalysis.Inferencers.TypeInferencing
createClassEnvironmentHelium.ModuleSystem.ImportEnvironment, Helium.Main.CompileUtils
currentChunk_Inh_AlternativeHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_AlternativesHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_BodyHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_DeclarationHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_DeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_ExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_ExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_FunctionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_FunctionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_GuardedExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_GuardedExpressionsHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_MaybeDeclarationsHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_MaybeExpressionHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_QualifierHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_QualifiersHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_RecordExpressionBindingHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_RecordExpressionBindingsHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_RightHandSideHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_StatementHelium.StaticAnalysis.Inferencers.TypeInferencing
currentChunk_Inh_StatementsHelium.StaticAnalysis.Inferencers.TypeInferencing
currentPhase_Inh_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
currentPhase_Inh_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
currentPhase_Syn_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
currentPhase_Syn_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
currentPosition_Inh_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
currentPosition_Inh_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
currentPosition_Syn_Core_UserStatementHelium.StaticAnalysis.Directives.TS_Apply
currentPosition_Syn_Core_UserStatementsHelium.StaticAnalysis.Directives.TS_Apply
customHelium.CodeGeneration.CoreUtils
customStrategyHelium.CodeGeneration.CoreUtils
C_Alternatives_s5 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Alternatives_s6 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Alternative_s2 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Alternative_s3 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_AnnotatedTypes_s11 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_AnnotatedTypes_s12 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_AnnotatedType_s8 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_AnnotatedType_s9 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Body_s14 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Body_s15 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Constructors_s20 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Constructors_s21 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Constructor_s17 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Constructor_s18 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ContextItems_s26 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ContextItems_s27 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ContextItem_s23 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ContextItem_s24 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Declarations_s32 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Declarations_s33 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Declaration_s29 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Declaration_s30 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Exports_s38 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Exports_s39 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Export_s35 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Export_s36 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Expressions_s44 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Expressions_s45 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Expression_s41 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Expression_s42 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FieldDeclarations_s50 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FieldDeclarations_s51 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FieldDeclaration_s47 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FieldDeclaration_s48 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Fixity_s53 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Fixity_s54 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FunctionBindings_s59 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FunctionBindings_s60 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FunctionBinding_s56 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_FunctionBinding_s57 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_GuardedExpressions_s65 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_GuardedExpressions_s66 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_GuardedExpression_s62 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_GuardedExpression_s63 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ImportDeclarations_s74 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ImportDeclarations_s75 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ImportDeclaration_s71 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ImportDeclaration_s72 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ImportSpecification_s77 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_ImportSpecification_s78 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Imports_s80 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Imports_s81 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Import_s68 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Import_s69 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.StaticAnalysis.Directives.TS_Analyse
9 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Judgement_s83Helium.StaticAnalysis.Directives.TS_Analyse
C_Judgement_s84Helium.StaticAnalysis.Directives.TS_Analyse
C_LeftHandSide_s83 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_LeftHandSide_s84 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_LeftHandSide_s86Helium.StaticAnalysis.Directives.TS_Analyse
C_LeftHandSide_s87Helium.StaticAnalysis.Directives.TS_Analyse
C_Literal_s86 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Literal_s87 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Literal_s89Helium.StaticAnalysis.Directives.TS_Analyse
C_Literal_s90Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeDeclarations_s89 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeDeclarations_s90 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeDeclarations_s92Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeDeclarations_s93Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExports_s92 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeExports_s93 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeExports_s95Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExports_s96Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExpression_s95 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeExpression_s96 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeExpression_s98Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeExpression_s99Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeImportSpecification_s101Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeImportSpecification_s102Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeImportSpecification_s98 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeImportSpecification_s99 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeInt_s101 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeInt_s102 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeInt_s104Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeInt_s105Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeNames_s107 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeNames_s108 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeNames_s110Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeNames_s111Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeName_s104 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeName_s105 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_MaybeName_s107Helium.StaticAnalysis.Directives.TS_Analyse
C_MaybeName_s108Helium.StaticAnalysis.Directives.TS_Analyse
C_Module_s110 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Module_s111 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Module_s113Helium.StaticAnalysis.Directives.TS_Analyse
C_Module_s114Helium.StaticAnalysis.Directives.TS_Analyse
C_Names_s116 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Names_s117 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Names_s119Helium.StaticAnalysis.Directives.TS_Analyse
C_Names_s120Helium.StaticAnalysis.Directives.TS_Analyse
C_Name_s113 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Name_s114 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Name_s116Helium.StaticAnalysis.Directives.TS_Analyse
C_Name_s117Helium.StaticAnalysis.Directives.TS_Analyse
C_Patterns_s122 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Patterns_s123 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Patterns_s125Helium.StaticAnalysis.Directives.TS_Analyse
C_Patterns_s126Helium.StaticAnalysis.Directives.TS_Analyse
C_Pattern_s119 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Pattern_s120 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Pattern_s122Helium.StaticAnalysis.Directives.TS_Analyse
C_Pattern_s123Helium.StaticAnalysis.Directives.TS_Analyse
C_Position_s125 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Position_s126 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Position_s128Helium.StaticAnalysis.Directives.TS_Analyse
C_Position_s129Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifiers_s131 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Qualifiers_s132 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Qualifiers_s134Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifiers_s135Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifier_s128 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Qualifier_s129 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Qualifier_s131Helium.StaticAnalysis.Directives.TS_Analyse
C_Qualifier_s132Helium.StaticAnalysis.Directives.TS_Analyse
C_Range_s134 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Range_s135 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Range_s137Helium.StaticAnalysis.Directives.TS_Analyse
C_Range_s138Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBindings_s140 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBindings_s141 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBindings_s143Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBindings_s144Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBinding_s137 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBinding_s138 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordExpressionBinding_s140Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordExpressionBinding_s141Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBindings_s146 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordPatternBindings_s147 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordPatternBindings_s149Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBindings_s150Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBinding_s143 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordPatternBinding_s144 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RecordPatternBinding_s146Helium.StaticAnalysis.Directives.TS_Analyse
C_RecordPatternBinding_s147Helium.StaticAnalysis.Directives.TS_Analyse
C_RightHandSide_s149 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RightHandSide_s150 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_RightHandSide_s152Helium.StaticAnalysis.Directives.TS_Analyse
C_RightHandSide_s153Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgements_s158Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgements_s159Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgement_s155Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleJudgement_s156Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleType_s152 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_SimpleType_s153 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_SimpleType_s161Helium.StaticAnalysis.Directives.TS_Analyse
C_SimpleType_s162Helium.StaticAnalysis.Directives.TS_Analyse
C_Statements_s158 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Statements_s159 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Statements_s167Helium.StaticAnalysis.Directives.TS_Analyse
C_Statements_s168Helium.StaticAnalysis.Directives.TS_Analyse
C_Statement_s155 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Statement_s156 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Statement_s164Helium.StaticAnalysis.Directives.TS_Analyse
C_Statement_s165Helium.StaticAnalysis.Directives.TS_Analyse
C_Strings_s161 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Strings_s162 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Strings_s170Helium.StaticAnalysis.Directives.TS_Analyse
C_Strings_s171Helium.StaticAnalysis.Directives.TS_Analyse
C_TypeRule_s176Helium.StaticAnalysis.Directives.TS_Analyse
C_TypeRule_s177Helium.StaticAnalysis.Directives.TS_Analyse
C_Types_s167 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Types_s168 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Types_s179Helium.StaticAnalysis.Directives.TS_Analyse
C_Types_s180Helium.StaticAnalysis.Directives.TS_Analyse
C_Type_s164 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Type_s165 
1 (Data Constructor)Helium.ModuleSystem.ExtractImportDecls
2 (Data Constructor)Helium.Syntax.UHA_Pretty
3 (Data Constructor)Helium.Parser.ResolveOperators
4 (Data Constructor)Helium.Syntax.UHA_OneLine
5 (Data Constructor)Helium.StaticAnalysis.Inferencers.KindInferencing
6 (Data Constructor)Helium.StaticAnalysis.StaticChecks.StaticChecks
7 (Data Constructor)Helium.StaticAnalysis.Inferencers.TypeInferencing
8 (Data Constructor)Helium.CodeGeneration.CodeGeneration
C_Type_s173Helium.StaticAnalysis.Directives.TS_Analyse
C_Type_s174Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategies_s182Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategies_s183Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategy_s185Helium.StaticAnalysis.Directives.TS_Analyse
C_TypingStrategy_s186Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatements_s191Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatements_s192Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatement_s188Helium.StaticAnalysis.Directives.TS_Analyse
C_UserStatement_s189Helium.StaticAnalysis.Directives.TS_Analyse