This is the syntax for the destruction of a parameter object that was introduced as part of ECMAScript 2015. The function Todosdoes not define a single parameter with a name Todos, but instead refers to the Todosproperty of the object that passed (and it is destroyed immediately).
This is roughly equivalent to the following version:
const Todos = (_param) => {
let todos = _param.todos;
return (
<div>
<h1>Todos</h1>
{todos.map(todo => <p key={todo}>{todo}</p>)}
</div>
);
};
.