final
object
MultiDenotation
extends
Function2
An overloaded denotation consisting of the alternatives of both given denotations.
Constructors
Members
def
apply
(
denot1:
Denotation
,
denot2:
Denotation
)
: R
def
unapply
(
x$1:
MultiDenotation
)
: MultiDenotation