Raspberry pi pico & arduino mbed os, whats the pinout?

simple question, what is the pinout of the raspberry pi pico, that is to say, what does ARDUINO IDE refer to them as. I know the pinout given by the rpi people, but i have no idea how the arduino refers to them as in their software. any ideas? thx.

Straightforward pins 0-29 go to the pins labeled gp0-29 on the PICO (gp29 might be labeled AREF)

I know the pinout given by the rpi people,I want to know details about pinout. Good topic.

The documentation:
https://arduino-pico.readthedocs.io/en/latest/
Has sections titled: