Uses of Package
wytp.types

Packages that use wytp.types

Package	Description
wyal.tasks
wyal.util
wytp.proof
wytp.proof.rules
wytp.proof.rules.arithmetic
wytp.proof.rules.array
wytp.proof.rules.function
wytp.proof.rules.logic
wytp.proof.rules.quantifier
wytp.proof.rules.record
wytp.proof.rules.type
wytp.proof.util
wytp.provers
wytp.types
wytp.types.extractors
wytp.types.subtyping
wytp.types.util

Classes in wytp.types used by wyal.tasks

Class and Description
TypeSystem

Classes in wytp.types used by wyal.util

Class and Description
TypeInferer.Environment The typing environment determines the current type for all variables at a given point.
TypeSystem

Classes in wytp.types used by wytp.proof

Class and Description
TypeInferer.Environment The typing environment determines the current type for all variables at a given point.

Classes in wytp.types used by wytp.proof.rules

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.rules.arithmetic

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.rules.array

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.rules.function

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.rules.logic

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.rules.quantifier

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.rules.record

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.rules.type

Class and Description
TypeSystem

Classes in wytp.types used by wytp.proof.util

Class and Description
TypeInferer.Environment The typing environment determines the current type for all variables at a given point.
TypeSystem

Classes in wytp.types used by wytp.provers

Class and Description
TypeSystem

Classes in wytp.types used by wytp.types

Class and Description
SubtypeOperator.Result
TypeInferer.Environment The typing environment determines the current type for all variables at a given point.

Classes in wytp.types used by wytp.types.extractors

Class and Description
TypeExtractor
TypeSystem

Classes in wytp.types used by wytp.types.subtyping

Class and Description
SubtypeOperator Represents the subtype operation over types.
SubtypeOperator.Result

Classes in wytp.types used by wytp.types.util

Class and Description
TypeExtractor
TypeInferer Responsible for inferring the type for a given expression.
TypeInferer.Environment The typing environment determines the current type for all variables at a given point.
TypeRewriter Responsible for rewriting a given type in some way whilst maintaining semantic equivalence.
TypeSystem