Package wytp.proof.rules.type

Class Summary

Class	Description
TypeTestClosure	Responsible for handling type tests.
TypeTestNormalisation	Responsible for normalising type tests involving record accesses.