export type char = number;
export type uint8_t = number;
export type int8_t = number;
export type uint16_t = number;
export type int16_t = number;
export type uint32_t = number;
export type int32_t = number;
export type uint8_t_mavlink_version = number;
export type float = number;
export type int64_t = bigint;
export type uint64_t = bigint;
export type double = number;