wytp.types.util

Classes

• AbstractTypeExtractor
• AbstractTypeExtractor.Conjunct
• AbstractTypeExtractor.Disjunct
• AbstractTypeExtractor.Signed
• AbstractTypeRewriter
• StdTypeEnvironment
• StdTypeInfererence
• StdTypeRewriter