case class Typ
extends Space

Space representing the set of all values of a type

Constructors

Typ ( tp: Type , decomposed: Boolean )

Members

[+] val decomposed : Boolean
[+] val tp : Type
[+] def _1 : T1
[+] def _2 : T2
[+] def copy ( tp: Type , decomposed: Boolean ) : Typ
[+] def copy$default$1 : Type
[+] def copy$default$2 : Boolean