| abstract class $CALL_TP |
|---|
| **** | Supertype of the possible types of an argument in a call. This is either an actual type under $TP or CALL_TP_VOID for a "void" argument, CALL_TP_CREATE for a creation expression without a type, CALL_TP_BOUND_CREATE for an untyped bound creation expression, CALL_TP_ARRAY for an array creation expression, or CALL_TP_UNDERSCORE for an underscore argument in a bound routine or iter. |
| CALL_TP_CREATE | CALL_TP_ARRAY | CALL_TP_UNDERSCORE | CALL_TP_BOUND_CREATE | $TP | TP_CLASS | TP_ITER | TP_ROUT | CALL_TP_VOID |
| is_subtype(t:$TP):BOOL; |
|---|
| **** | True if self might be a legal argument type for an argument whose declared type is `t'. |
| str:STR; |
|---|
| **** | The string representation of self. |
