Artículo.
del entorno debería hacer cumplir que las restricciones requeridas entre las entradas se mantienen para que sean válidas. Para especificar tales restricciones, definimos la declaración de asumir que toma una expresión booleana que representa la suposición. La suposición debe mantenerse para que se