def key.go
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
132def key.go(r: Word(31n) & Bool) -> Key:
133 (+m, s) = r
134 key.cls(s, m, Word.cmp(31n, m, mag(inf_mag())))
import bend-lawful-stdlib@0.1.0.0/src/float/f32.bend as F32import Base
132def key.go(r: Word(31n) & Bool) -> Key:
133 (+m, s) = r
134 key.cls(s, m, Word.cmp(31n, m, mag(inf_mag())))