Constructor summary
|
|
'id(ATerm )
|
n/a
|
signature.str
|
|
alt(ATerm , ATerm )
|
n/a
|
signature.str
|
|
amb(ATerm )
|
n/a
|
signature.str
|
|
appl(ATerm , ATerm )
|
n/a
|
signature.str
|
|
assoc(ATerm )
|
n/a
|
signature.str
|
|
assoc(ATerm )
|
n/a
|
signature.str
|
|
attrs(ATerm )
|
n/a
|
signature.str
|
|
avoid(ATerm )
|
n/a
|
signature.str
|
|
bracket(ATerm )
|
n/a
|
signature.str
|
|
cf(ATerm )
|
n/a
|
signature.str
|
|
char(ATerm )
|
n/a
|
signature.str
|
|
char-class(ATerm )
|
n/a
|
signature.str
|
|
character(ATerm )
|
n/a
|
signature.str
|
|
cilit(ATerm )
|
n/a
|
signature.str
|
|
cons(ATerm )
|
n/a
|
signature.str
|
|
empty(ATerm )
|
n/a
|
signature.str
|
|
func(ATerm , ATerm )
|
n/a
|
signature.str
|
|
iter(ATerm )
|
n/a
|
signature.str
|
|
iter-sep(ATerm , ATerm )
|
n/a
|
signature.str
|
|
iter-star(ATerm )
|
n/a
|
signature.str
|
|
iter-star-sep(ATerm , ATerm )
|
n/a
|
signature.str
|
|
layout(ATerm )
|
n/a
|
signature.str
|
|
left(ATerm )
|
n/a
|
signature.str
|
|
lex(ATerm )
|
n/a
|
signature.str
|
|
list(ATerm )
|
n/a
|
signature.str
|
|
lit(ATerm )
|
n/a
|
signature.str
|
|
lit(ATerm )
|
n/a
|
signature.str
|
|
no-attrs(ATerm )
|
n/a
|
signature.str
|
|
non-assoc(ATerm )
|
n/a
|
signature.str
|
|
opt(ATerm )
|
n/a
|
signature.str
|
|
parametrized-sort(ATerm , ATerm )
|
n/a
|
signature.str
|
|
parsetree(ATerm , ATerm )
|
n/a
|
signature.str
|
|
prefer(ATerm )
|
n/a
|
signature.str
|
|
prod(ATerm , ATerm , ATerm )
|
n/a
|
signature.str
|
|
range(ATerm , ATerm )
|
n/a
|
signature.str
|
|
reject(ATerm )
|
n/a
|
signature.str
|
|
right(ATerm )
|
n/a
|
signature.str
|
|
seq(ATerm , ATerm )
|
n/a
|
signature.str
|
|
sort(ATerm )
|
n/a
|
signature.str
|
|
strategy(ATerm , ATerm )
|
n/a
|
signature.str
|
|
term(ATerm )
|
n/a
|
signature.str
|
|
tuple(ATerm , ATerm )
|
n/a
|
signature.str
|
|
varsym(ATerm )
|
n/a
|
signature.str
|