Liking cljdoc? Tell your friends :D
Clojure only.
edu.ucdenver.ccp.kr.unify
*occurs-check*clj
extend-bindingsclj
(extend-bindings var val bindings)failclj
has-binding?clj
(has-binding? var bindings)lookupclj
(lookup var bindings)no-bindingsclj
occurs-checkclj
(occurs-check var x bindings)recursive-replaceclj
(recursive-replace expr l-bindings)(recursive-replace expr l-bindings past-vals)subst-bindingsclj
(subst-bindings x & bindings)subst-bindings-intclj
(subst-bindings-int x l-bindings)subst-bindings-listclj
(subst-bindings-list x list-of-bindings)unifierclj
(unifier x y)unifyclj
(unify x y)(unify x y bindings)See if x and y match with given bindings.
See if x and y match with given bindings.
unify-variableclj
(unify-variable var x bindings)cljdoc is a website building & hosting documentation for Clojure/Script libraries
× close