Semi-empirical constraints on the HI mass function of star-forming galaxies and Ω ₇₈ at z 0. 37 from interferometric surveys | Synapse