*/ public function to_array(): array; }