typinferenz

Interfaces

• Typable

Classes

• Constraint
• ConstraintsSet
• FreshTypeVariable
• FunN
• KarthesischesProdukt
• Overloading
• ResultSet
• SingleConstraint
• TypeAssumptions

Exceptions

• TypinferenzException