Also, this might be useful: https://github.com/erlang/otp/pull/230 -- Anthony Ramine Le 8 sept. 2014 à 11:36, Anthony Ramine <n.oxyde@REDACTED> a écrit : > In my opinion, such a patch should also make syntax_tools aware of specs and types, so it should wrap these nodes in its own tree terms.