fix typo (UN)
This commit is contained in:
parent
ab01bb0124
commit
e600a9c6aa
@ -3378,7 +3378,7 @@ Succeeds if there are no free variables in the term @var{T}.
|
|||||||
@findex acyclic_term/1
|
@findex acyclic_term/1
|
||||||
@snindex acyclic_term/1
|
@snindex acyclic_term/1
|
||||||
@cnindex acyclic_term/1
|
@cnindex acyclic_term/1
|
||||||
Succeeds if there are loops in the term @var{T}, that is, it is an infite term.
|
Succeeds if there are loops in the term @var{T}, that is, it is an infinite term.
|
||||||
|
|
||||||
@item arg(+@var{N},+@var{T},@var{A}) [ISO]
|
@item arg(+@var{N},+@var{T},@var{A}) [ISO]
|
||||||
@findex arg/3
|
@findex arg/3
|
||||||
|
Reference in New Issue
Block a user