Uses of Package
wytp.types.extractors

Packages that use wytp.types.extractors

Package	Description
wyal.util

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

Class and Description
TypeInvariantExtractor Responsible for extracting the invariant (if any) from a given type.