<?php  namespace App\Models;  use App\Traits\HasTranslations; use Illuminate\Database\Eloquent\Builder; use Illuminate\Database\Eloquent\Relations\BelongsTo; use App\Contracts\HasTranslations as ContractsHasTranslations;  class ProductFilter extends Model implements ContractsHasTranslations { 	use HasTranslations;  	public function defaultTranslationLocale(): string{}  	public function scopeIncludes(Builder $query, ?string $lang = null): Builder{}  	public function scopeAvailable(Builder $query): Builder{}  	public function categoryFilter(): BelongsTo{}  	public function product(): BelongsTo{} }