@isset($records) // $records is defined and is not null... @endisset @empty($records) // $records is "empty"... @endempty
@empty($records) // $records is "empty"... @endempty