Package it.unive.lisa.analysis.types

Class Summary

Class	Description
InferredTypes	An InferredValue holding a set of Types, representing the inferred runtime types of an Expression.