{-|
Module      : Tarefa1
Description : Validação de estados.

Módulo para a realização da Tarefa 1 de LI1/LP1 em 2025/26.
-}
module Tarefa1 where

import Labs2025

-- | Função principal da Tarefa 1. Recebe um estado e retorna se este é válido ou não.
validaEstado :: Estado -> Bool
validaEstado :: Estado -> Bool
validaEstado Estado
e = Bool
forall a. HasCallStack => a
undefined