typed.cljc.checker.check.invoke — org.typedclojure/typed.clj.checker 1.1.0

check-invoke clj

(check-invoke check-expr
              -invoke-special
              {fexpr :fn :keys [args env] :as expr}
              expected)

normal-invoke clj

(normal-invoke expr fexpr args expected & {:keys [cfexpr cargs]})