“Retirement fund” means the Employees Retirement Fund.

(Added by Stats. 1947, Ch. 424.)