/** @TJS-type number */
export class Widget {}