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