O
object
Apply
extends
Object
with Serializable
Scala parameter application
Supertypes
Object,
Serializable
Members
def
apply
(
fun:
Term
,
args:
List[Term]
)
(
implicit
ctx:
Context
)
: Apply
Create a function application <fun: Term>(<args: List[Term]>)
Create a function application <fun: Term>(<args: List[Term]>)
def
unapply
(
x:
Apply
)
(
implicit
ctx:
Context
)
: Option[(
Term, List[Term]
)]
Matches a function application <fun: Term>(<args: List[Term]>)
Matches a function application <fun: Term>(<args: List[Term]>)