 (deftype Constant [c var]
   Object
   (reset [this solver constraint])
+  (val [this solver constraint]
+       1)
   (split-left [this solver constraint]
               false)
   (split-right [this solver constraint])

            [cemerick.double-check.properties :as prop :include-macros true]
            [cemerick.pprng :as pprng]
            clojure.set)
  (:require-macros [aurora.macros :refer [debug check apush apush-into apop-from amake aclear typeof set!! dofrom perf-time]]))

;; COMPARISONS


          results))
  ISeqable
  (-seq [this]
        (seq (map vec (partition 2 (.elems this))))))

(deftype Node [parent parent-ix keys vals children ^:mutable lower ^:mutable upper]
  Object
