Else ブランチ
[else]
と呼ばれるガードは、その他のブランチのガードがすべて false の場合にアクティブになります。 各デシジョン・ノードは、else ブランチを 1 つのみ持つことができます。
else ブランチのセマンティクスは、構造化 if-then-else ステートメントのセマンティクスと似ています。
フィードバック