wytp.types

Interfaces

• SubtypeOperator
• TypeExtractor
• TypeInferer
• TypeInferer.Environment
• TypeRewriter

Classes

• TypeSystem

Enums

• SubtypeOperator.Result