eva.query.util

Liking cljdoc? Tell your friends :D

Clojure only.

(fresh-lvar s)

(lvar-base-name s)

(lvar-strict? sym)

(simple-unifications terms c-of-bindings c-of-targets)

Returns all unification maps resulting from the cross product of c-of-bindings and c-of-targets that also unify with terms.

Returns all unification maps resulting from the cross product of
c-of-bindings and c-of-targets that also unify with terms.

(simple-unify terms tuple)

(simple-unify terms unification-map tuple)

(unifies? terms tuple)

cljdoc is a website building & hosting documentation for Clojure/Script libraries