Saltar al contenido principal
Tipo utilizado para invocar una hipótesis del elemento de cualquier tipo. Para más detalles, consulte Hipótesis para todos los tipos de elemento.