That would be a cpp function. Most likely defined by the jit given the name.
If you look for it, you can find it defined here 4 in cpp.
But that will only be used during jit tracing. So you can safely assume that it is None outside of this use case.