def take.cons
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
267def take.cons(-r: Nat, b: Bool, p: Bin & Word(r)) -> Bin & Word(r):
268 (x, w) = p
269 (cons(b, x), w)
import bend-lawful-stdlib@0.1.0.0/src/float/bin.bend as Binimport Base
267def take.cons(-r: Nat, b: Bool, p: Bin & Word(r)) -> Bin & Word(r):
268 (x, w) = p
269 (cons(b, x), w)