*/ abstract public function toJsonEncodeable(): array; }