namespace ks.rt.micro_bit {
    export interface Enums {
        MES_ALERT_EVT_ALARM1: number;
        MES_ALERT_EVT_ALARM2: number;
        MES_ALERT_EVT_ALARM3: number;
        MES_ALERT_EVT_ALARM4: number;
        MES_ALERT_EVT_ALARM5: number;
        MES_ALERT_EVT_ALARM6: number;
        MES_ALERT_EVT_DISPLAY_TOAST: number;
        MES_ALERT_EVT_FIND_MY_PHONE: number;
        MES_ALERT_EVT_PLAY_RINGTONE: number;
        MES_ALERT_EVT_PLAY_SOUND: number;
        MES_ALERT_EVT_VIBRATE: number;
        MES_CAMERA_EVT_LAUNCH_PHOTO_MODE: number;
        MES_CAMERA_EVT_LAUNCH_VIDEO_MODE: number;
        MES_CAMERA_EVT_START_VIDEO_CAPTURE: number;
        MES_CAMERA_EVT_STOP_PHOTO_MODE: number;
        MES_CAMERA_EVT_STOP_VIDEO_CAPTURE: number;
        MES_CAMERA_EVT_STOP_VIDEO_MODE: number;
        MES_CAMERA_EVT_TAKE_PHOTO: number;
        MES_CAMERA_EVT_TOGGLE_FRONT_REAR: number;
        MES_DEVICE_DISPLAY_OFF: number;
        MES_DEVICE_DISPLAY_ON: number;
        MES_DEVICE_GESTURE_DEVICE_SHAKEN: number;
        MES_DEVICE_INCOMING_CALL: number;
        MES_DEVICE_INCOMING_MESSAGE: number;
        MES_DEVICE_ORIENTATION_LANDSCAPE: number;
        MES_DEVICE_ORIENTATION_PORTRAIT: number;
        MES_DPAD_BUTTON_1_DOWN: number;
        MES_DPAD_BUTTON_1_UP: number;
        MES_DPAD_BUTTON_2_DOWN: number;
        MES_DPAD_BUTTON_2_UP: number;
        MES_DPAD_BUTTON_3_DOWN: number;
        MES_DPAD_BUTTON_3_UP: number;
        MES_DPAD_BUTTON_4_DOWN: number;
        MES_DPAD_BUTTON_4_UP: number;
        MES_DPAD_BUTTON_A_DOWN: number;
        MES_DPAD_BUTTON_A_UP: number;
        MES_DPAD_BUTTON_B_DOWN: number;
        MES_DPAD_BUTTON_B_UP: number;
        MES_DPAD_BUTTON_C_DOWN: number;
        MES_DPAD_BUTTON_C_UP: number;
        MES_DPAD_BUTTON_D_DOWN: number;
        MES_DPAD_BUTTON_D_UP: number;
        MES_REMOTE_CONTROL_EVT_FORWARD: number;
        MES_REMOTE_CONTROL_EVT_NEXTTRACK: number;
        MES_REMOTE_CONTROL_EVT_PAUSE: number;
        MES_REMOTE_CONTROL_EVT_PLAY: number;
        MES_REMOTE_CONTROL_EVT_PREVTRACK: number;
        MES_REMOTE_CONTROL_EVT_REWIND: number;
        MES_REMOTE_CONTROL_EVT_STOP: number;
        MES_REMOTE_CONTROL_EVT_VOLUMEDOWN: number;
        MES_REMOTE_CONTROL_EVT_VOLUMEUP: number;
        MICROBIT_ID_BUTTON_A: number;
        MICROBIT_ID_BUTTON_B: number;
        MICROBIT_ID_BUTTON_AB: number;
        MICROBIT_BUTTON_EVT_CLICK: number;
        MICROBIT_ID_IO_P0: number;
        MICROBIT_ID_IO_P1: number;
        MICROBIT_ID_IO_P2: number;
        MICROBIT_ID_IO_P3: number;
        MICROBIT_ID_IO_P4: number;
        MICROBIT_ID_IO_P5: number;
        MICROBIT_ID_IO_P6: number;
        MICROBIT_ID_IO_P7: number;
        MICROBIT_ID_IO_P8: number;
        MICROBIT_ID_IO_P9: number;
        MICROBIT_ID_IO_P10: number;
        MICROBIT_ID_IO_P11: number;
        MICROBIT_ID_IO_P12: number;
        MICROBIT_ID_IO_P13: number;
        MICROBIT_ID_IO_P14: number;
        MICROBIT_ID_IO_P15: number;
        MICROBIT_ID_IO_P16: number;
        MICROBIT_ID_IO_P19: number;
        MICROBIT_ID_IO_P20: number;
        MES_BROADCAST_GENERAL_ID: number;
        MICROBIT_ID_RADIO: number;
        MICROBIT_RADIO_EVT_DATAGRAM: number;
    }    
}