Generated quantites block

It is pretty much the same for the normal distribution in the sense that you first have to figure out what is the lower bound on the uniform draw which is Phi( ( 0 - mu ) / sigma ). Then inv_Phi(uniform_rng(lower_bound, 1.0)) * sigma + mu will be positive and there won’t be any rejections.