The specs I wrote, I believe, allow Dialyzer to prove that the return value is t whenever it can prove that the parameter is t, don’t they? That’s what I was attempting to do.
The specs I wrote, I believe, allow Dialyzer to prove that the return value is t whenever it can prove that the parameter is t, don’t they? That’s what I was attempting to do.
© Copyright Elixir Forum | Terms | Privacy & Cookies
