Quick hacky example of using https://github.com/stathissideris/spec-provider to infer types.

spec_provider_fn_wrap.cljs

(def example-data (atom {:args #{} :ret #{}}))

(defn record-example [k v]
  (js/console.debug ::record-example [k v])
  (swap! example-data update k conj v)
  v)

(s/fdef dsl/build-model
  :args (partial record-example :args)
  :ret (partial record-example :ret))

(comment

  (->> @example-data :args count)
  (->> @example-data :args (map first) count)
  (->> @example-data :args (map first) first)

  (spec-provider.provider/pprint-specs

    (spec-provider.provider/infer-specs
      (->> @example-data :args (map first) (take 5))
      ::model-spec)

    'toy
    's)

  (->> @example-data :args (map first) (map :field-spec) (mapcat vals) (take 5))

  (spec-provider.provider/pprint-specs

    (spec-provider.provider/infer-specs
      (->> @example-data :args (map first) (map :field-spec) (mapcat vals))
      ::field-spec-map)

    'toy
    's))