lvaro
added
ns
clojure.core.logic
type
macro
(lvaro v)
A goal that succeeds if the argument is fresh. v must be a logic variable. Non-relational.