replace ssrfun.{idfun,comp} by universe polymorphic equivalents#188

t6s wants to merge 1 commit into

affeldt-aist:masteraffeldt-aist/monae:masterfrom

t6s:up_idfunt6s/monae:up_idfunCopy head branch name to clipboard