typed.clj.checker.check.method — org.typedclojure/typed.clj.checker 1.3.0

check-invoke-method clj

(check-invoke-method {method-name :method :keys [args env] :as expr}
                     expected
                     {:keys [method-override] :as opt}
                     opts)

check-method clj

(check-method expr expected {:keys [method-override] :as opt} opts)

method->Type clj

(method->Type expr {:keys [method-override] :as opt} opts)