store/[org.clojure/core.typed "0.2.81"] clj::clojure.core.typed.test.nth-path-elem-test/nth-path-elem-test-existing-path

Source

(deftest nth-path-elem-test-existing-path
  (is-tc-e
   (do
     (defalias StatementA '[':a '[':params String]])
     (defalias StatementB '[':b '[':no-params]])
     (defalias Statement (U StatementA StatementB))
     (fn [stmt :- Statement] :- Any
       (if (= :params (nth (nth stmt 1) 0))
         (let [param (nth (nth stmt 1) 1)]
           (ann-form param String)))))))

Uses on crossclj