Top-1.7: Constraint solving framework employed by the Helium Compiler.

Index - H

HasBasicTop.Interface.Basic
HasQualTop.Interface.Qualification
HasSkolemsTop.Types.Quantification, Top.Types
HasSubstTop.Interface.Substitution
HasTGTop.Implementation.TypeGraph.ClassMonadic
HasTITop.Interface.TypeInference
HasTwoTypesTop.Implementation.TypeGraph.Heuristic
HasTypeGraphTop.Implementation.TypeGraph.ClassMonadic
HasTypesTop.Types.Primitive, Top.Types
HComponentTop.Implementation.TypeGraph.Heuristic
Heuristic 
1 (Type/Class)Top.Implementation.TypeGraph.Heuristic
2 (Data Constructor)Top.Implementation.TypeGraph.Heuristic
heuristicsTop.Implementation.TypeGraphSubstitution
highParticipationTop.Implementation.TypeGraph.DefaultHeuristics