case class
Typ
extends
Space
Space representing the set of all values of a type
Constructors
Typ
(
tp:
Type
,
decomposed:
Boolean
)