Get rid of annotations

Question

We know how to declare new annotations and how to assign them to nodes.

What’s the good way to do the following?

• delete a particular annotation from a node
• throw away all annotations of a node

Answer 1

You can find some library functions in the Node module of the standard library. See also Node in the tutor documentation:

• delAnnotation
• delAnnotations
• delAnnotationsRec