Util.word_all_false: def of unified-nsga-iii@0.2.2.0
Import: import unified-nsga-iii@0.2.2.0/util.bend as Util
Lines 15-26 of unified-nsga-iii@0.2.2.0/util.bend: https://jend.leeeet.dev/read.txt?path=unified-nsga-iii@0.2.2.0/util.bend&start_line=15&end_line=26

import Base

# IEEE +0.0 is the all-false Word(32). Definitional on the 0.0 literal,
# so p=0 operator laws skip F32.is_gt / F32.is_eq (opaque Base laws).
def word_all_false(n: Nat, w: Word(n)) -> Bool:
  match n:
    case 0n:
      True{}
    case 1n+p:
      match w:
        case WCon{False{}, t}:
          word_all_false(p, t)
        case WCon{True{}, t}:
          False{}

Uses (4):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con