Constant tvm_sys::ffi::TVMDeviceExtType_kDLMicroDev

pub const TVMDeviceExtType_kDLMicroDev: TVMDeviceExtType = 13;