to-subst-val
added
ns
clojure.core.logic
type
function
(to-subst-val v)