  We provide algebraic conditions ensuring the decidability of the theory of
modules over effectively given Pr\"ufer (in particular B\'ezout) domains whose
localizations at maximal ideals have dense value groups. For B\'ezout domains,
these conditions are also necessary.
