// Auto-generated. Do not edit.
declare const enum DAL {
    // /pxtapp/configkeys.h
    CFG_PIN_NAME_MSK = 65535,
    CFG_PIN_CONFIG_MSK = 4294901760,
    CFG_PIN_CONFIG_ACTIVE_LO = 65536,
    CFG_MAGIC0 = 513675505,
    CFG_MAGIC1 = 539130489,
    CFG_PIN_ACCELEROMETER_INT = 1,
    CFG_PIN_ACCELEROMETER_SCL = 2,
    CFG_PIN_ACCELEROMETER_SDA = 3,
    CFG_PIN_BTN_A = 4,
    CFG_PIN_BTN_B = 5,
    CFG_PIN_BTN_SLIDE = 6,
    CFG_PIN_DOTSTAR_CLOCK = 7,
    CFG_PIN_DOTSTAR_DATA = 8,
    CFG_PIN_FLASH_CS = 9,
    CFG_PIN_FLASH_MISO = 10,
    CFG_PIN_FLASH_MOSI = 11,
    CFG_PIN_FLASH_SCK = 12,
    CFG_PIN_LED = 13,
    CFG_PIN_LIGHT = 14,
    CFG_PIN_MICROPHONE = 15,
    CFG_PIN_MIC_CLOCK = 16,
    CFG_PIN_MIC_DATA = 17,
    CFG_PIN_MISO = 18,
    CFG_PIN_MOSI = 19,
    CFG_PIN_NEOPIXEL = 20,
    CFG_PIN_RX = 21,
    CFG_PIN_RXLED = 22,
    CFG_PIN_SCK = 23,
    CFG_PIN_SCL = 24,
    CFG_PIN_SDA = 25,
    CFG_PIN_SPEAKER_AMP = 26,
    CFG_PIN_TEMPERATURE = 27,
    CFG_PIN_TX = 28,
    CFG_PIN_TXLED = 29,
    CFG_PIN_IR_OUT = 30,
    CFG_PIN_IR_IN = 31,
    CFG_PIN_DISPLAY_SCK = 32,
    CFG_PIN_DISPLAY_MISO = 33,
    CFG_PIN_DISPLAY_MOSI = 34,
    CFG_PIN_DISPLAY_CS = 35,
    CFG_PIN_DISPLAY_DC = 36,
    CFG_DISPLAY_WIDTH = 37,
    CFG_DISPLAY_HEIGHT = 38,
    CFG_DISPLAY_CFG0 = 39,
    CFG_DISPLAY_CFG1 = 40,
    CFG_DISPLAY_CFG2 = 41,
    CFG_DISPLAY_CFG3 = 42,
    CFG_PIN_DISPLAY_RST = 43,
    CFG_PIN_DISPLAY_BL = 44,
    CFG_PIN_SERVO_1 = 45,
    CFG_PIN_SERVO_2 = 46,
    CFG_PIN_BTN_LEFT = 47,
    CFG_PIN_BTN_RIGHT = 48,
    CFG_PIN_BTN_UP = 49,
    CFG_PIN_BTN_DOWN = 50,
    CFG_PIN_BTN_MENU = 51,
    CFG_PIN_LED_R = 52,
    CFG_PIN_LED_G = 53,
    CFG_PIN_LED_B = 54,
    CFG_PIN_LED1 = 55,
    CFG_PIN_LED2 = 56,
    CFG_PIN_LED3 = 57,
    CFG_PIN_LED4 = 58,
    CFG_SPEAKER_VOLUME = 59,
    CFG_PIN_JACK_TX = 60,
    CFG_PIN_JACK_SENSE = 61,
    CFG_PIN_JACK_HPEN = 62,
    CFG_PIN_JACK_BZEN = 63,
    CFG_PIN_JACK_PWREN = 64,
    CFG_PIN_JACK_SND = 65,
    CFG_PIN_JACK_BUSLED = 66,
    CFG_PIN_JACK_COMMLED = 67,
    CFG_PIN_BTN_SOFT_RESET = 69,
    CFG_ACCELEROMETER_TYPE = 70,
    CFG_PIN_BTNMX_LATCH = 71,
    CFG_PIN_BTNMX_CLOCK = 72,
    CFG_PIN_BTNMX_DATA = 73,
    CFG_PIN_BTN_MENU2 = 74,
    CFG_PIN_BATTSENSE = 75,
    CFG_PIN_VIBRATION = 76,
    CFG_PIN_PWREN = 77,
    CFG_DISPLAY_TYPE = 78,
    CFG_PIN_ROTARY_ENCODER_A = 79,
    CFG_PIN_ROTARY_ENCODER_B = 80,
    CFG_ACCELEROMETER_SPACE = 81,
    CFG_PIN_WIFI_MOSI = 82,
    CFG_PIN_WIFI_MISO = 83,
    CFG_PIN_WIFI_SCK = 84,
    CFG_PIN_WIFI_TX = 85,
    CFG_PIN_WIFI_RX = 86,
    CFG_PIN_WIFI_CS = 87,
    CFG_PIN_WIFI_BUSY = 88,
    CFG_PIN_WIFI_RESET = 89,
    CFG_PIN_WIFI_GPIO0 = 90,
    CFG_PIN_WIFI_AT_TX = 91,
    CFG_PIN_WIFI_AT_RX = 92,
    CFG_PIN_USB_POWER = 93,
    ACCELEROMETER_TYPE_LIS3DH = 50,
    ACCELEROMETER_TYPE_LIS3DH_ALT = 48,
    ACCELEROMETER_TYPE_MMA8453 = 56,
    ACCELEROMETER_TYPE_FXOS8700 = 60,
    ACCELEROMETER_TYPE_MMA8653 = 58,
    ACCELEROMETER_TYPE_MSA300 = 76,
    ACCELEROMETER_TYPE_MPU6050 = 104,
    DISPLAY_TYPE_ST7735 = 7735,
    DISPLAY_TYPE_ILI9341 = 9341,
    CFG_PIN_A0 = 100,
    CFG_PIN_A1 = 101,
    CFG_PIN_A2 = 102,
    CFG_PIN_A3 = 103,
    CFG_PIN_A4 = 104,
    CFG_PIN_A5 = 105,
    CFG_PIN_A6 = 106,
    CFG_PIN_A7 = 107,
    CFG_PIN_A8 = 108,
    CFG_PIN_A9 = 109,
    CFG_PIN_A10 = 110,
    CFG_PIN_A11 = 111,
    CFG_PIN_A12 = 112,
    CFG_PIN_A13 = 113,
    CFG_PIN_A14 = 114,
    CFG_PIN_A15 = 115,
    CFG_PIN_A16 = 116,
    CFG_PIN_A17 = 117,
    CFG_PIN_A18 = 118,
    CFG_PIN_A19 = 119,
    CFG_PIN_A20 = 120,
    CFG_PIN_A21 = 121,
    CFG_PIN_A22 = 122,
    CFG_PIN_A23 = 123,
    CFG_PIN_A24 = 124,
    CFG_PIN_A25 = 125,
    CFG_PIN_A26 = 126,
    CFG_PIN_A27 = 127,
    CFG_PIN_A28 = 128,
    CFG_PIN_A29 = 129,
    CFG_PIN_A30 = 130,
    CFG_PIN_A31 = 131,
    CFG_PIN_D0 = 150,
    CFG_PIN_D1 = 151,
    CFG_PIN_D2 = 152,
    CFG_PIN_D3 = 153,
    CFG_PIN_D4 = 154,
    CFG_PIN_D5 = 155,
    CFG_PIN_D6 = 156,
    CFG_PIN_D7 = 157,
    CFG_PIN_D8 = 158,
    CFG_PIN_D9 = 159,
    CFG_PIN_D10 = 160,
    CFG_PIN_D11 = 161,
    CFG_PIN_D12 = 162,
    CFG_PIN_D13 = 163,
    CFG_PIN_D14 = 164,
    CFG_PIN_D15 = 165,
    CFG_PIN_D16 = 166,
    CFG_PIN_D17 = 167,
    CFG_PIN_D18 = 168,
    CFG_PIN_D19 = 169,
    CFG_PIN_D20 = 170,
    CFG_PIN_D21 = 171,
    CFG_PIN_D22 = 172,
    CFG_PIN_D23 = 173,
    CFG_PIN_D24 = 174,
    CFG_PIN_D25 = 175,
    CFG_PIN_D26 = 176,
    CFG_PIN_D27 = 177,
    CFG_PIN_D28 = 178,
    CFG_PIN_D29 = 179,
    CFG_PIN_D30 = 180,
    CFG_PIN_D31 = 181,
    CFG_NUM_NEOPIXELS = 200,
    CFG_NUM_DOTSTARS = 201,
    CFG_DEFAULT_BUTTON_MODE = 202,
    CFG_SWD_ENABLED = 203,
    CFG_FLASH_BYTES = 204,
    CFG_RAM_BYTES = 205,
    CFG_SYSTEM_HEAP_BYTES = 206,
    CFG_LOW_MEM_SIMULATION_KB = 207,
    CFG_BOOTLOADER_BOARD_ID = 208,
    CFG_UF2_FAMILY = 209,
    CFG_PINS_PORT_SIZE = 210,
    CFG_BOOTLOADER_PROTECTION = 211,
    CFG_POWER_DEEPSLEEP_TIMEOUT = 212,
    CFG_ANALOG_BUTTON_THRESHOLD = 213,
    CFG_CPU_MHZ = 214,
    CFG_CONTROLLER_LIGHT_MAX_BRIGHTNESS = 215,
    CFG_PIN_B0 = 300,
    CFG_PIN_B1 = 301,
    CFG_PIN_B2 = 302,
    CFG_PIN_B3 = 303,
    CFG_PIN_B4 = 304,
    CFG_PIN_B5 = 305,
    CFG_PIN_B6 = 306,
    CFG_PIN_B7 = 307,
    CFG_PIN_B8 = 308,
    CFG_PIN_B9 = 309,
    CFG_PIN_B10 = 310,
    CFG_PIN_B11 = 311,
    CFG_PIN_B12 = 312,
    CFG_PIN_B13 = 313,
    CFG_PIN_B14 = 314,
    CFG_PIN_B15 = 315,
    CFG_PIN_B16 = 316,
    CFG_PIN_B17 = 317,
    CFG_PIN_B18 = 318,
    CFG_PIN_B19 = 319,
    CFG_PIN_B20 = 320,
    CFG_PIN_B21 = 321,
    CFG_PIN_B22 = 322,
    CFG_PIN_B23 = 323,
    CFG_PIN_B24 = 324,
    CFG_PIN_B25 = 325,
    CFG_PIN_B26 = 326,
    CFG_PIN_B27 = 327,
    CFG_PIN_B28 = 328,
    CFG_PIN_B29 = 329,
    CFG_PIN_B30 = 330,
    CFG_PIN_B31 = 331,
    CFG_PIN_C0 = 350,
    CFG_PIN_C1 = 351,
    CFG_PIN_C2 = 352,
    CFG_PIN_C3 = 353,
    CFG_PIN_C4 = 354,
    CFG_PIN_C5 = 355,
    CFG_PIN_C6 = 356,
    CFG_PIN_C7 = 357,
    CFG_PIN_C8 = 358,
    CFG_PIN_C9 = 359,
    CFG_PIN_C10 = 360,
    CFG_PIN_C11 = 361,
    CFG_PIN_C12 = 362,
    CFG_PIN_C13 = 363,
    CFG_PIN_C14 = 364,
    CFG_PIN_C15 = 365,
    CFG_PIN_C16 = 366,
    CFG_PIN_C17 = 367,
    CFG_PIN_C18 = 368,
    CFG_PIN_C19 = 369,
    CFG_PIN_C20 = 370,
    CFG_PIN_C21 = 371,
    CFG_PIN_C22 = 372,
    CFG_PIN_C23 = 373,
    CFG_PIN_C24 = 374,
    CFG_PIN_C25 = 375,
    CFG_PIN_C26 = 376,
    CFG_PIN_C27 = 377,
    CFG_PIN_C28 = 378,
    CFG_PIN_C29 = 379,
    CFG_PIN_C30 = 380,
    CFG_PIN_C31 = 381,
    CFG_PIN_P0 = 400,
    CFG_PIN_P1 = 401,
    CFG_PIN_P2 = 402,
    CFG_PIN_P3 = 403,
    CFG_PIN_P4 = 404,
    CFG_PIN_P5 = 405,
    CFG_PIN_P6 = 406,
    CFG_PIN_P7 = 407,
    CFG_PIN_P8 = 408,
    CFG_PIN_P9 = 409,
    CFG_PIN_P10 = 410,
    CFG_PIN_P11 = 411,
    CFG_PIN_P12 = 412,
    CFG_PIN_P13 = 413,
    CFG_PIN_P14 = 414,
    CFG_PIN_P15 = 415,
    CFG_PIN_P16 = 416,
    CFG_PIN_P17 = 417,
    CFG_PIN_P18 = 418,
    CFG_PIN_P19 = 419,
    CFG_PIN_P20 = 420,
    CFG_PIN_P21 = 421,
    CFG_PIN_P22 = 422,
    CFG_PIN_P23 = 423,
    CFG_PIN_P24 = 424,
    CFG_PIN_P25 = 425,
    CFG_PIN_P26 = 426,
    CFG_PIN_P27 = 427,
    CFG_PIN_P28 = 428,
    CFG_PIN_P29 = 429,
    CFG_PIN_P30 = 430,
    CFG_PIN_P31 = 431,
    CFG_PIN_LORA_MISO = 1001,
    CFG_PIN_LORA_MOSI = 1002,
    CFG_PIN_LORA_SCK = 1003,
    CFG_PIN_LORA_CS = 1004,
    CFG_PIN_LORA_BOOT = 1005,
    CFG_PIN_LORA_RESET = 1006,
    CFG_PIN_IRRXLED = 1007,
    CFG_PIN_IRTXLED = 1008,
    CFG_PIN_LCD_RESET = 1009,
    CFG_PIN_LCD_ENABLE = 1010,
    CFG_PIN_LCD_DATALINE4 = 1011,
    CFG_PIN_LCD_DATALINE5 = 1012,
    CFG_PIN_LCD_DATALINE6 = 1013,
    CFG_PIN_LCD_DATALINE7 = 1014,
    CFG_NUM_LCD_COLUMNS = 1015,
    CFG_NUM_LCD_ROWS = 1016,
    // /pxtapp/ev3const.h
    NUM_INPUTS = 4,
    NUM_OUTPUTS = 4,
    LCD_WIDTH = 178,
    LCD_HEIGHT = 128,
    NUM_BUTTONS = 6,
    DEVICE_TYPE_NXT_TOUCH = 1,
    DEVICE_TYPE_NXT_LIGHT = 2,
    DEVICE_TYPE_NXT_SOUND = 3,
    DEVICE_TYPE_NXT_COLOR = 4,
    DEVICE_TYPE_NXT_ULTRASONIC = 5,
    DEVICE_TYPE_NXT_TEMPERATURE = 6,
    DEVICE_TYPE_TACHO = 7,
    DEVICE_TYPE_MINITACHO = 8,
    DEVICE_TYPE_NEWTACHO = 9,
    DEVICE_TYPE_TOUCH = 16,
    DEVICE_TYPE_COLOR = 29,
    DEVICE_TYPE_ULTRASONIC = 30,
    DEVICE_TYPE_GYRO = 32,
    DEVICE_TYPE_IR = 33,
    DEVICE_TYPE_THIRD_PARTY_START = 50,
    DEVICE_TYPE_THIRD_PARTY_END = 99,
    DEVICE_TYPE_IIC_UNKNOWN = 100,
    DEVICE_TYPE_NXT_TEST = 101,
    DEVICE_TYPE_NXT_IIC = 123,
    DEVICE_TYPE_TERMINAL = 124,
    DEVICE_TYPE_UNKNOWN = 125,
    DEVICE_TYPE_NONE = 126,
    DEVICE_TYPE_ERROR = 127,
    MAX_DEVICE_DATALENGTH = 32,
    MAX_DEVICE_MODES = 8,
    UART_BUFFER_SIZE = 64,
    TYPE_NAME_LENGTH = 11,
    SYMBOL_LENGTH = 4,
    DEVICE_LOGBUF_SIZE = 300,
    IIC_NAME_LENGTH = 8,
    CONN_UNKNOWN = 111,
    CONN_DAISYCHAIN = 117,
    CONN_NXT_COLOR = 118,
    CONN_NXT_DUMB = 119,
    CONN_NXT_IIC = 120,
    CONN_INPUT_DUMB = 121,
    CONN_INPUT_UART = 122,
    CONN_OUTPUT_DUMB = 123,
    CONN_OUTPUT_INTELLIGENT = 124,
    CONN_OUTPUT_TACHO = 125,
    CONN_NONE = 126,
    CONN_ERROR = 127,
    opProgramStart = 3,
    opOutputGetType = 160,
    opOutputSetType = 161,
    opOutputReset = 162,
    opOutputStop = 163,
    opOutputPower = 164,
    opOutputSpeed = 165,
    opOutputStart = 166,
    opOutputPolarity = 167,
    opOutputRead = 168,
    opOutputTest = 169,
    opOutputReady = 170,
    opOutputPosition = 171,
    opOutputStepPower = 172,
    opOutputTimePower = 173,
    opOutputStepSpeed = 174,
    opOutputTimeSpeed = 175,
    opOutputStepSync = 176,
    opOutputTimeSync = 177,
    opOutputClearCount = 178,
    opOutputGetCount = 179,
    opOutputProgramStop = 180,
    BUTTON_ID_UP = 1,
    BUTTON_ID_ENTER = 2,
    BUTTON_ID_DOWN = 4,
    BUTTON_ID_RIGHT = 8,
    BUTTON_ID_LEFT = 16,
    BUTTON_ID_ESCAPE = 32,
    // /pxtapp/platform.h
    PXT_GC_THREAD_LIST = 1,
    // /pxtapp/pxt.h
    DEVICE_EVT_ANY = 0,
    DEVICE_ID_NOTIFY = 10000,
    DEVICE_ID_NOTIFY_ONE = 10001,
    IMAGE_BITS = 1,
    // /pxtapp/pxtbase.h
    PXT32 = 1,
    PXT64 = 1,
    PXT_VTABLE_SHIFT = 2,
    PXT_REFCNT_FLASH = 65534,
    VTABLE_MAGIC = 249,
    Undefined = 0,
    Boolean = 1,
    Number = 2,
    String = 3,
    Object = 4,
    Function = 5,
    BoxedString = 1,
    BoxedNumber = 2,
    BoxedBuffer = 3,
    RefAction = 4,
    RefImage = 5,
    RefCollection = 6,
    RefRefLocal = 7,
    RefMap = 8,
    RefMImage = 9,
    MMap = 10,
    User0 = 16,
    PXT_IOS_HEAP_ALLOC_BITS = 20,
    IMAGE_HEADER_MAGIC = 135,
    Int8LE = 1,
    UInt8LE = 2,
    Int16LE = 3,
    UInt16LE = 4,
    Int32LE = 5,
    Int8BE = 6,
    UInt8BE = 7,
    Int16BE = 8,
    UInt16BE = 9,
    Int32BE = 10,
    UInt32LE = 11,
    UInt32BE = 12,
    Float32LE = 13,
    Float64LE = 14,
    Float32BE = 15,
    Float64BE = 16,
    NUM_TRY_FRAME_REGS = 3,
    GC = 0,
    // /pxtapp/pxtconfig.h
    PXT_GC = 1,
    // /pxtapp/pxtcore.h
    PXT_HARD_FLOAT = 1,
}
