Semiempirical constraints on the HI mass function of star-forming galaxies and Ω HI at z ∼ 0. 37 from interferometric surveys | Synapse