Home Link 1 Link 2 {% match user_opt %} {% when Some with (user) %} {% when None %} Log in {% endmatch %}