Boolean logic (ブール ロジック)

表現される値の真偽を表すロジックの体系で、プログラミング言語ではフロー制御の定義によく使用されます。 論理学と代数学に大きく貢献した数学者である George Boole (1815 ～ 1864) にちなんで名付けられました。

Verse では、真偽の判断に使用されるこの型は logic です。 このブール ロジックは、失敗コンテキストにおける失敗する可能性がある式全体に適用されます。