Solved by tom in post #7 
              
              
                For 1.0.1 a version that had been generated with a preliminary tool has been used. 
In master they are generated (for torch itself) and have been improved quite a bit since 1.0.1, so the nightlies might be a better choice if you want to make good use of the type hints (and iron out funny stuff befor…