 (ns simple-check.properties
   (:require [simple-check.generators :as gen]))
 
+;; NOTES:
 ;; The fields that should be returned from each test
 ;; run:
 ;;

         :args args}))]))

(defn for-all*
  [args function]
  (gen/bind (gen/tuple args)
            (apply-gen function)))

;; stamp: haskell QC nomenclature for stats/values collected
;; callbacks: maybe this is where printing/clojure.test stuff goes?

(defn- apply-gen
  [function]
  (fn [args]
    [:gen (fn [random-seed size]
