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