FANDOM


Syntax

BURIEDNAMES

Explanation

BURIEDNAMES outputs a list of all currently buried names. Use BURYNAME to bury defined names in workspace. Use UNBURYNAME to restore buried names to the general workspace.

See also BURIEDPROCS, BURIEDPROPS, BURY, BURYALL, BURYPROC, BURYPROP, UNBURY, UNBURYALL, UNBURYPROC, and UNBURYPROP.

Examples

? MAKE "A 123

? MAKE "B 456

? PONS

A is 123

B is 456

? BURY [A B]

? PONS

? BURIEDNAMES

Result: [A B]

?