typed.cljc.checker.check-below — org.typedclojure/typed.clj.checker 1.4.0-SNAPSHOT

bad-proposition-delayed-error clj

(bad-proposition-delayed-error {f1 :fl :as actual} {f2 :fl :as expected} opts)

check-below clj

(check-below tr1 expected opts)

filter-better? clj

(filter-better? {f1+ :then f1- :else :as f1} {f2+ :then f2- :else :as f2} opts)

maybe-check-below clj

(maybe-check-below tr1 expected opts)

simple-proposition-better? clj

(simple-proposition-better? f1 f2 opts)