declare namespace pins {
    /**
     * Pin P0 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P0)
    const P0: PwmPin;

    /**
     * Pin P1 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P1)
    const P1: PwmPin;

    /**
     * Pin P2 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P2)
    const P2: PwmPin;

    /**
     * Pin P3 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P3)
    const P3: AnalogInPin;

    /**
     * Pin P3 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P4)
    const P4: AnalogInPin;

    /**
     * Pin P5 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P5)
    const P5: DigitalInOutPin;

    /**
     * Pin P6 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P6)
    const P6: DigitalInOutPin;

    /**
     * Pin P7 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P7)
    const P7: DigitalInOutPin;

    /**
     * Pin P8 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P8)
    const P8: DigitalInOutPin;

    /**
     * Pin P9 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P9)
    const P9: DigitalInOutPin;

    /**
     * Pin P10 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P10)
    const P10: AnalogInPin;

    /**
     * Pin P11 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P11)
    const P11: DigitalInOutPin;

    /**
     * Pin P12 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P12)
    const P12: DigitalInOutPin;

    /**
     * Pin P13 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P13)
    const P13: DigitalInOutPin;

    /**
     * Pin P14 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P14)
    const P14: DigitalInOutPin;

    /**
     * Pin P15 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P15)
    const P15: DigitalInOutPin;

    /**
     * Pin P16 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P16)
    const P16: PwmPin;

    /**
     * Pin P19 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P19)
    const P19: DigitalInOutPin;

    /**
     * Pin P20 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P20)
    const P20: DigitalInOutPin;

    /**
     * Pin P21 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P21)
    const P21: PwmPin;

    /**
     * Pin P22 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P22)
    const P22: PwmPin;

    /**
     * Pin P23 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P23)
    const P23: PwmPin;

    /**
     * Pin P24 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P24)
    const P24: PwmPin;

    /**
     * Pin P25 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P25)
    const P25: PwmPin;

    /**
     * Pin P26 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P26)
    const P26: PwmPin;

    /**
     * Pin P27 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P27)
    const P27: PwmPin;

    /**
     * Pin P28 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P28)
    const P28: PwmPin;

    /**
     * Pin P29 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P29)
    const P29: PwmPin;

    /**
     * Pin P30 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P30)
    const P30: PwmPin;

    /**
     * Pin P31 on the edge connector
     */
    //% fixedInstance shim=pxt::lookupPinCfg(CFG_PIN_P31)
    const P31: PwmPin;
}