liquidhaskell-0.2.0.0: include/Data/Bits.spec

module spec Data.Bits where

-- TODO: cannot use this because `Bits` is not a `Num`
-- Data.Bits.shiftR :: (Data.Bits.Bits a) => x:a -> d:Nat 
--                  -> {v:a | ((d=1) => (x <= 2*v + 1 && 2*v <= x)) }