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.