eva.utils.unify

Liking cljdoc? Tell your friends :D

Clojure only.

(unifications x source subst lvar?)

given source, previous substitition, and pred to detect lvars, returns sequence of possible unifications

given source, previous substitition, and pred to detect lvars, returns sequence of possible unifications

(unify* u v s lvar?)

(walk* s u lvar?)

Walks a substitution-map s, resolving all intermediate lvars (as identified by pred lvar?), until a terminal value is found.

Walks a substitution-map s, resolving all intermediate lvars
(as identified by pred lvar?), until a terminal value is found.

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