typed.cljc.checker.check.loop — org.typedclojure/typed.clj.checker 1.3.0

check-loop clj

(check-loop expr
            expected
            {:typed.cljc.checker.check.recur-utils/keys [loop-bnd-anns]
             :as opts})

inline-annotations clj

(inline-annotations expr opts)

parse-annotation clj

(parse-annotation tsyn {:keys [env] :as expr} opts)

Parse the raw type annotation tsyn in the context of expr