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

Safe HaskellNone

Top.Implementation.FastSubstitution

Description

 

Documentation

newtype GreedyState info Source

Constructors

GreedyState 

Instances