Typ

case class Typ(tp: Type, decomposed: Boolean) extends Space

Space representing the set of all values of a type

Value parameters:

decomposed:: does the space result from decomposition? Used for pretty print
tp:: the type this space represents

trait Space

trait Matchable

class Any

Value members