この手続きは入力として与えられた未評価の名前を解放します。unassign によって返される値は NULL です。

namei が型 indexed を持てば、op(0,namei) はテーブルまたは配列のいずれかのはずです。

a := 1:
a;

unassign(a);

Error, (in unassign) cannot unassign `1' (argument must be
assignable)

unassign('a');
a;