<?php  namespace App\Models;  use App\Enums\PushDeviceType; use App\Traits\HasLimitedScope; use App\Jobs\GetOneSignalDevice; use App\Observers\PushDeviceObserver; use Illuminate\Database\Eloquent\Builder; use Illuminate\Database\Eloquent\Prunable; use Illuminate\Database\Eloquent\Relations\BelongsTo; use App\Contracts\HasLimitedScope as HasLimitedScopeContract;  class PushDevice extends Model implements HasLimitedScopeContract { 	use Prunable, HasLimitedScope;  	protected $casts = [ 		'device_type' => PushDeviceType::class, 	];  	protected static function initObservers(): string 	{ 		return PushDeviceObserver::class; 	}  	public function user(): BelongsTo{}  	public function getOneSignalDevice(): self{}  	public function prunable(): Builder{}  	public function scopeUserScope(Builder $query): Builder{} }