Class Hierarchy
- java.lang.Object
- it.unive.lisa.symbolic.types.BoolType (implements it.unive.lisa.type.BooleanType)
- it.unive.lisa.symbolic.types.IntType (implements it.unive.lisa.type.NumericType)
- it.unive.lisa.symbolic.types.StringType (implements it.unive.lisa.type.StringType)