GDevelop/GDevelop.js/types/gdusedextensionsresult.js

// Automatically generated by GDevelop.js/scripts/generate-types.js
declare class gdUsedExtensionsResult {
  getUsedExtensions(): gdSetString;
  delete(): void;
  ptr: number;
};