aterm 0.20.0

Implementation of the Annotated Terms data structure
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
A(
 B(
  c(
   d(
    E(
     F(123, 4),
     5
    )
   )
  ), 
  "aleph", 
  "beth"
 )
)