     x))
 
 (defn- result-type
+  "Returns the type of the check result. This can be any of the
+::s/failure keywords documented in 'check', or:
+
+  :check-passed   all checked fn returns conformed
+  :check-threw    checked fn threw an exception"
   [ret]
-  (let [result (:result ret)]
+  (let [failure (:failure ret)]
     (cond
-     (true? result) :check-passed
-     (failure-type result) (failure-type result)
+     (nil? failure) :check-passed
+     (failure-type failure) (failure-type failure)
      :default :check-threw)))
 
 (defn abbrev-result
   "Given a check result, returns an abbreviated version
 suitable for summary use."
   [x]
-  (if (true? (:result x))
-    (dissoc x :spec ::stc/ret :result)
+  (if (:failure x)
     (-> (dissoc x ::stc/ret)
         (update :spec s/describe)
-        (update :result unwrap-failure))))
+        (update :failure unwrap-failure))
+    (dissoc x :spec ::stc/ret)))
 
 (defn summarize-results
   "Given a collection of check-results, e.g. from 'check', pretty

     (validate-check-opts opts)
     (check-1 {:f f :spec spec} opts)))

(defn testable-syms
  "Given an opts map as per check, returns the set of syms that
can be tested."
  ([] (testable-syms nil))
  ([opts]
     (validate-check-opts opts)
     (reduce into #{} [(filter fn-spec-name? (keys (s/registry)))

(defn check
  "Run generative tests for spec conformance on vars named by
sym-or-syms, a symbol or collection of symbols. If sym-or-syms
is not specified, check all checkable vars.

The opts map includes the following optional keys, where stc
aliases clojure.spec.test.check: 
