<?php  namespace App\Models;  use App\Traits\IsUser; use App\Observers\AdminObserver; use App\Contracts\IsExtendedUser; use App\Contracts\HasLimitedScope; use App\Contracts\InteractsWithMarket; use Illuminate\Database\Eloquent\Relations\HasMany; use Illuminate\Database\Eloquent\Relations\BelongsTo; use Illuminate\Database\Eloquent\Relations\BelongsToMany;  class Admin extends Model implements IsExtendedUser, InteractsWithMarket { 	use IsUser;  	protected $with = ['activeMarket', 'markets'];  	public function profileRoute(?string $default = null): ?string{}  	public function adminMarkets(): HasMany{}  	public function markets(): BelongsToMany{}  	public function activeMarket(): BelongsTo{}  	public function canAccessMarket(Market $market): bool{}  	public function getActiveMarket(): ?Market{}  	public function hasLimitedScope(HasLimitedScope $model): bool{}  	protected static function initObservers(): string 	{ 		return AdminObserver::class; 	} }