def negative
import bend-collections-laws-crypto@1.0.0.0/spec/lib/numeric.bend as Numericimport Base
33def negative(+w: Word(64n)) -> Bool:
34 Cmp.is_ge(Word.cmp(64n, w, sign_threshold(63n)))
import bend-collections-laws-crypto@1.0.0.0/spec/lib/numeric.bend as Numericimport Base
33def negative(+w: Word(64n)) -> Bool:
34 Cmp.is_ge(Word.cmp(64n, w, sign_threshold(63n)))