Hierarchy For Package wytp.types.subtyping

Package Hierarchies:

• All Packages

Class Hierarchy

• java.lang.Object
  • wytp.types.subtyping.CoerciveSubtypeOperator (implements wytp.types.SubtypeOperator)
  • wytp.types.subtyping.CoerciveSubtypeOperator.Term<T>
    • wytp.types.subtyping.CoerciveSubtypeOperator.Atom<T>