Safe Haskell | None |
---|
Documentation
isLessGeneral :: TypeRep -> TypeRep -> BoolSource
Returns True iff t1 is less general than t2 | We use a hashmap to compute a substitution from t2 to t1
Safe Haskell | None |
---|
isLessGeneral :: TypeRep -> TypeRep -> BoolSource
Returns True iff t1 is less general than t2 | We use a hashmap to compute a substitution from t2 to t1