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

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

import What4.Domains.BV