def put

bend-lawful-stdlib@0.1.0.0 · src/float/sf32.bend:107

import bend-lawful-stdlib@0.1.0.0/src/float/sf32.bend as Sf32

import Base
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Bin

107def put(neg: Bool, t: Nat, +m: Bin.Bin) -> F32:
108  word(m, field(t, Nat.is_eq(Bin.len(m), 24n)), neg)

Uses (8)

Used by (1)

bend-lawful-stdlib@0.1.0.0/src/float/sf32:encode.fin