Artículo.
categoría describe los casos en que la interfaz SUV está representada por una función libre de efectos laterales, que posee algunos parámetros que se utilizan tanto como entradas como salidas. Además de la definición del arnés para la categoría I, el arnés debe rastrear la variable que se utiliza