ClojureDocs

导航

命名空间

lvaro

  • (lvaro v)
A goal that succeeds if the argument is fresh. v must be a logic
variable. Non-relational.