Hierarchy For Package wytp.types

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • wytp.types.TypeSystem

Interface Hierarchy

• wytp.types.SubtypeOperator
• wytp.types.TypeExtractor<T,S>
• wytp.types.TypeInferer
• wytp.types.TypeInferer.Environment
• wytp.types.TypeRewriter

Enum Hierarchy

• java.lang.Object
  • java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    • wytp.types.SubtypeOperator.Result