Package wytp.types.extractors

Class Summary

Class	Description
ReadableArrayExtractor	Responsible for extracting a "readable array" from a given type.
ReadableRecordExtractor	Responsible for extracting a "readable record" from a given type.
ReadableReferenceExtractor	Responsible for extracting a "readable reference" from a given type.
TypeInvariantExtractor	Responsible for extracting the invariant (if any) from a given type.