Package aterm :: Module annotation
[frames] | no frames]

Module annotation



High-level term annotation.

Functions
 
get(term, label)
Gets an annotation associated with this label.
 
set(term, anno)
Returns a new version of this term with the annotation associated with this label added or updated.
 
remove(term, label)
Returns a copy of this term with the annotation associated with this label removed.