i1 : x:=3; y:="hi there"; z:=2^30; f = x->x; |
i5 : listLocalSymbols f o5 = symbol class value location of symbol ------ ----- ----- ------------------ x : ZZ -- 3 stdio:1:0-1:0 y : String -- "hi there" stdio:1:6-1:6 z : ZZ -- 1073741824 stdio:1:21-1:21 |
i6 : listLocalSymbols symbol x o6 = symbol class value location of symbol ------ ----- ----- ------------------ x : ZZ -- 3 stdio:1:0-1:0 y : String -- "hi there" stdio:1:6-1:6 z : ZZ -- 1073741824 stdio:1:21-1:21 |
i7 : listLocalSymbols(ZZ,f) o7 = symbol class value location of symbol ------ ----- ----- ------------------ x : ZZ -- 3 stdio:1:0-1:0 z : ZZ -- 1073741824 stdio:1:21-1:21 |
The object listLocalSymbols is a command.