There's a class function in builtins.pyi. There's also a mention to remove it: # TODO not defined in builtins!. I feel like this was probably created for mypy? As an alternative I would suggest using types.pyi's FunctionType.
I personally have to patch typeshed to remove this for Jedi. Why is this there and is it still needed? I'm happy to create a PR for this.
There's a
class functioninbuiltins.pyi. There's also a mention to remove it:# TODO not defined in builtins!. I feel like this was probably created for mypy? As an alternative I would suggest usingtypes.pyi'sFunctionType.I personally have to patch typeshed to remove this for Jedi. Why is this there and is it still needed? I'm happy to create a PR for this.