Let $L$ be an ample line bundle on a smooth projective $K$-analytic variety $X$ endowed with a model metric with curvature form $\theta$. Then every $\theta$-psh function $\varphi$ is the pointwise limit on $X$ of a decreasing net of $\theta$-psh model functions.