We describe the Ziegler spectrum of a Bézout domainB=D+XQ[X] whereD is a principal ideal domain and Q is itsfield of fractions; in particular we compute the Cantor–Bendixson rank ofthis space. Using this, we prove the decidability of the theory ofB-modules when D is“sufficiently” recursive.