class ARG |
---|
**** | signature arguments |
attr mode: $MODE; |
---|
**** | argument mode |
attr tp: $TP; |
---|
**** | argument type |
attr mode: $MODE; |
---|
**** | argument mode |
attr tp: $TP; |
---|
**** | argument type |
create(t:$TP): SAME |
---|
**** | The ``default'' constructor: mode is set to IN_MODE |
create(t:$TP, m:$MODE): SAME |
---|
is_eq(a: ARG):BOOL |
---|
is_eq(a: $OB):BOOL |
---|
is_neq(a: ARG):BOOL |
---|
is_neq(a: $OB):BOOL |
---|
str:STR |
---|