what4-1.8: src/What4/Utils/BVDomain/Bitwise.hs

module What4.Utils.BVDomain.Bitwise {-# DEPRECATED "Use What4.Domains.BV.Bitwise instead" #-}
  ( module What4.Domains.BV.Bitwise
  ) where

import What4.Domains.BV.Bitwise