S Cannot be resolved. Clojure. Cursive

Question

Here\'s my code

(declare PutProp) 
(defn DefList! 
  [L] 
  (let [V (first L)] 
    (map ([fn [S K]] [PutProp S V K] (next L)))))

L is a stru