Curry.ExtendedFlat.TypeInference

dispType

adjustTypeInfo

labelVarsWithTypes

uniqueTypeIndices

genEquations