def spec_sub
import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Formatimport Base
189def spec_sub(f: Format, a: Val, b: Val) -> Val:
190 spec_add(f, a, neg(b))
import bend-lawful-stdlib@0.1.0.0/src/float/format.bend as Formatimport Base
189def spec_sub(f: Format, a: Val, b: Val) -> Val:
190 spec_add(f, a, neg(b))