#include mp_obj_t modion_keyboard_keydown(mp_obj_t key_o); mp_obj_t modion_battery(); mp_obj_t modion_battery_level(); mp_obj_t modion_battery_ischarging(); extern const mp_obj_type_t file_type;