|
type/applied - check for an object of type applied
|
|
Calling Sequence
|
|
type(expr, applied)
type(expr, applied(vtype))
|
|
|
Parameters
|
|
|
expr
|
-
|
any expression
|
|
vtype
|
-
|
type
|
|
|
|
|
|
Description
|
|
|
•
|
The call type(expr, applied) checks if expr is of the form name(args), where args is an expression sequence of zero or more items.
|
|
•
|
If a parameter vtype is given, then it also checks if each of the arguments are each of type vtype.
|
|
•
|
The types applied and applied(vtype) are identical to the types function and  , respectively.
|
|
|
|
Examples
|
|
|
>
|
|
|
| (1) |
|
>
|
|
|
| (2) |
|
>
|
|
|
| (3) |
|
>
|
|
|
| (4) |
|
>
|
|
|
| (5) |
|
>
|
|
|
| (6) |
|
|
Download Help Document
Was this information helpful?
