Artículo.
nondet_choice que proporciona múltiples comportamientos protegidos. Una elección tiene éxito si el guardia del comportamiento seleccionado es verdadero. Cuando ninguna de las protecciones se evalúa como verdadera, se ejecuta una rama predeterminada que debe estar siempre presente, consulte la