[+] def derivedAndOrType ( tp1: Type , tp2: Type ) ( implicit ctx: Context ) : Type

[+] def isAnd : Boolean

[+] def tp1 : Type

[+] def tp2 : Type