$info ) { $result[] = [ $type, $info ]; } return $result; } }