def word_all_false

unified-nsga-iii@0.2.2.0 · util.bend:15

import Base

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