class ARG

****	signature arguments

---

Flattened version is here

---

---

Public

Readable Attributes

attr mode: $MODE;

****	argument mode

attr tp: $TP;

****	argument type

Writable Attributes

attr mode: $MODE;

****	argument mode

attr tp: $TP;

****	argument type

Features

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

---