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

Index - |

|->Top.Types.Substitution, Top.Types
|>>|Top.Solver.SwitchCombinator