trait
AndOrType
extends
Type
with
ValueType
Constructors
Members
def
derivedAndOrType
(
tp1:
Type
,
tp2:
Type
)
(
implicit
ctx:
Context
)
: Type
def
isAnd
: Boolean
def
tp1
: Type
def
tp2
: Type