subst-val
added
ns
clojure.core.logic
type
function
(subst-val x) (subst-val x doms) (subst-val x doms _meta) (subst-val x doms eset _meta)