 (declare lightning-bolts)
 (declare comp-paths)
 (declare gen)
-(declare show-spec)
 
 (defn generate
   "Return one expression matching spec _spec_ given the model _model_."

  ;; And so on.
  ;;
  ;;
  (if (nil? spec)
    ;;    (throw (Exception. (str "wtf.")))
    nil
    (do
;;    (println (str "gen@" depth "; spec=" (dag_unify.core/strip-refs spec)))
  (log/trace (str "gen@" depth "; spec=" (show-spec spec)))
  (when (< depth max-depth)
    (let [bolts (or from-bolts
                    (get-bolts-for model spec 

                               "ok."))))
        result)))
   (filter #(not (= :fail %)))))
