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.