Dotty Documentation

0.3.0-bin-SNAPSHOT

case class Typ
extends Space with Product

Space representing the set of all values of a type

[-] Constructors

Typ ( tp: Type , decomposed: Boolean )

[-] Members

[+] val decomposed : Boolean
[+] val tp : Type