Methods of the module objectval 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]>)