eva.utils.unify — com.workiva/eva 2.0.3

Unifications clj protocol

unifications clj

(unifications x source subst lvar?)

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

unify* clj

(unify* u v s lvar?)

walk* clj

(walk* s u lvar?)

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