@ -1,5 +1,5 @@
<?php
function dd (mixed $val): void {
function dd ($val): void {
printf("<pre>");
var_dump($val);
printf("</pre>");