Modules
|
annotation
|
Primitives for getting and setting term annotations
|
annotation.str
|
common
|
Some primitives for the manipulation of terms
|
common.str
|
integer
|
Integer arithmetic and comparison
|
integer.str
|
placeholder
|
Primitives for ATerm placeholders
|
placeholder.str
|
properties
|
n/a
|
properties.str
|
real
|
This module contains strategies for operating on real numbers
|
real.str
|
share
|
The ATerm library preserves maximal sharing of subterms through hash-consing
|
share.str
|
string
|
This module contains strategies for operating on strings
|
string.str
|
zip
|
n/a
|
zip.str
|