Methods of the module object val Apply
val Apply
Create a function application <fun: Term>(<args: List[Term]>)
<fun: Term>(<args: List[Term]>)
Matches a function application <fun: Term>(<args: List[Term]>)