3 ms·This is also how Erlang's Dialyzer works.by IsTom 2y agoThis is also how Erlang's Dialyzer works.tekknolagi 2y agoHave a link to the implementation?