How you define the I/O pins is the same for the mbili and for the one.
The good thing about the sodaq one is that you can use all I/O for Analog or Digital.
Some of our boards have the same components like the RGB LED.
You can use:
Both will do the same, I recomment to use the pin name.
If you want to use the same code on an sodaq explorer LED_RED is also there, just not on pin 14.
Go to http://support.sodaq.com/sodaq-one/sodaq-one/
and scroll down to: pin definitions to see all the names.