Under the assumptions (A1)–(A3), let $\theta$ be a closed $(1,1)$-form on ${X^{{\mathrm{an}}}}$ with ample de Rham class. Then every $\theta$-psh function on ${X^{{\mathrm{an}}}}$ is the pointwise limit of a decreasing net of $\theta$-psh model functions on ${X^{{\mathrm{an}}}}$.