From 8f8c7bb8d66c526b6b84331d72168a43fd54bd0a Mon Sep 17 00:00:00 2001 From: Levent Erkok Date: Mon, 30 Oct 2023 10:07:21 -0700 Subject: [PATCH] Disambiguate for haddock --- Data/SBV.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Data/SBV.hs b/Data/SBV.hs index 666d2c662..3367eded9 100644 --- a/Data/SBV.hs +++ b/Data/SBV.hs @@ -774,7 +774,7 @@ bit-vectors. The operations that are restricted to bounded word/int sizes are: * Extraction and concatenation: 'bvExtract', '#', 'zeroExtend', 'signExtend', 'bvDrop', and 'bvTake' -Usual arithmetic ('+', '-', '*', 'sQuotRem', 'sQuot', 'sRem', 'sDivMod', 'sDiv', 'sMod') and logical operations ('.<', '.<=', '.>', '.>=', '.==', './=') operations are +Usual arithmetic ('Prelude.+', 'Prelude.-', '*', 'sQuotRem', 'sQuot', 'sRem', 'sDivMod', 'sDiv', 'sMod') and logical operations ('.<', '.<=', '.>', '.>=', '.==', './=') operations are supported for 'SInteger' fully, both in programming and verification modes. -}