168def modelF32Subtract =
169 (lambda unrestricted a : Nat . (lambda unrestricted b : Nat .
170 (specSelect (modelOr (modelIsNaN a) (modelIsNaN b))
171 (modelNaNResult a b)
172 (modelF32Add a (modelNegate b)))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.