Package checkers.types

Class Summary
TypestateTypeFromExpression  
TypestateTypeFromExpression.TypestateTypeFromExpressionEnv