up previous next
untagged

untag an object

Syntax
untagged(E:TAGGED_OBJECT):UNTAGGED_OBJECT

Description
This function strips an object E of its tag, if any. @E is equivalent to untagged(E) .

Tags are used for pretty printing of objects. See the reference listed below.

Example
/**/  L := [1,2,3];
/**/  M := tagged(L,"MyTag");
/**/  type(L);
LIST

/**/  type(M);
TAGGED("MyTag")

/**/  type(untagged(M));
LIST

See Also