def zero
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
141def zero(m: Word(31n)) -> Bool:
142 Cmp.is_eq(Word.cmp(31n, m, Word.zero(31n)))
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
141def zero(m: Word(31n)) -> Bool:
142 Cmp.is_eq(Word.cmp(31n, m, Word.zero(31n)))