aterm (cargo): Implementation of the Annotated Terms data structure
Keywords: annotation|aterm|term