This is not good solution either because it leaves the typing information away from the method signature. SeleniumLibrary currently does not have any typing information, but the aim is to have all that done in the 5.0 release. Also the stub file should be correct in syntax point of view. I need to think what would be good solution.