Searched refs:FP_ObjEqual (Results 1 – 5 of 5) sorted by relevance
657 cvt FP_ObjEqual = let mkIte x y z = x <+> text "?" <+> y <+> text ":" <+> z1044 , FP_ObjEqual
226 | FP_ObjEqual constructor258 show FP_ObjEqual = "="
157 fpIsEqualObject = lift2B FP_ObjEqual (Just fpIsEqualObjectH) Nothing
346 newExpr st KBool (SBVApp (IEEEFP FP_ObjEqual) [sx, sy])
1276 … newExpr st KBool (SBVApp (IEEEFP FP_ObjEqual) [sva, svb])