Is there a function in Stan to compute the product of a vector’s entries, i.e., a map (v_1,\ldots,v_n)\to\prod_{i=1}^n v_i? Apologies if I have missed something in the documentation.

Yes, this is called `prod`

Thank you!

Yes, this is called `prod`

Thank you!