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

check-deftype clj

(check-deftype {:keys [fields methods env] :as expr} expected opts)

check-method clj

(check-method {:keys [env] :as inst-method}
              {:keys [kind expected-type nme expected]}
              opts)

match-method->expected-ifn clj

(match-method->expected-ifn t inst-method opts)