0.8.4-SNAPSHOT Arrow_down_16x16
  • (treec x fc reifier)

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:2842 top

(defn treec [x fc reifier]
  (fixc x
    (fn loop [t a reifier]
      (if (tree-term? t)
        (composeg*
          (fc t)
          (constrain-tree t
            (fn [t a] ((fixc t loop reifier) a))))
        (fc t)))
    reifier))
Vars in clojure.core.logic/treec:
Used in 0 other vars

Comments top

No comments for treec. Log in to add a comment.