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

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

import What4.Domains.BV.Arith