checkers.types
Classes 
TypestateTypeFromExpression
TypestateTypeFromExpression.TypestateTypeFromExpressionEnv