Packages

• aterm
• aterm.pure
• aterm.pure.binary
• aterm.stream