          :prepost (s/? map?)
          :body (s/* any?)))
 
-(def defn-args
+(s/def ::defn-args
   (s/cat :name simple-symbol?
          :docstring (s/? string?)
          :meta (s/? map?)

                                    :attr (s/? map?)))))

(s/fdef clojure.core/defn
  :args defn-args
  :ret any?)

(s/fdef clojure.core/defn-
  :args defn-args
  :ret any?)

(s/fdef clojure.core/fn

          :docstring (s/? string?)
          :attr-map (s/? map?)
          :clauses ::ns-clauses)
  :ret any?)
