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