// Automatically generated by GDevelop.js/scripts/generate-types.js
declare class gdVectorPairStringTextFormatting {
  size(): number;
  getString(id: number): string;
  getTextFormatting(id: number): gdTextFormatting;
  delete(): void;
  ptr: number;
};