Does this library have support for clj-kondo.exports ?

[sstraust]

It'd be nice to have installable clj-kondo macroexpansion defs, so that, for example

  "unification"
  {:a :b, :b [2 :b]} := {:a ?b, ?b [2 ?b]}

doesn't show unresolved symbols (?b) in my editor