<?php  namespace App\Contracts;  use Illuminate\Database\Eloquent\Builder; use Illuminate\Database\Eloquent\Relations\HasMany;  interface HasPushDevices { 	public function devices(): HasMany;  	public function notificationTargets(): HasMany;  	public function isNotifiable(): bool;  	public function markAllNotificationsAsSeen(): self;  	public function scopeNotifiable(Builder $query): Builder;{}