0.8.4-SNAPSHOT Arrow_down_16x16

to-subst-val

clojure.core.logic

  • (to-subst-val v)

0 Examples top

Log in to add / edit an example.

See Also top

Log in to add a see also.

Plus_12x12 Minus_12x12 Source clojure/core/logic.clj:585 top

(defn to-subst-val [v]
  (if (subst-val? v)
    v
    (subst-val ::unbound)))
Vars in clojure.core.logic/to-subst-val:
Used in 0 other vars

Comments top

No comments for to-subst-val. Log in to add a comment.