let modulo ti e = e_app2 mk_imodulo (e_app0 (mk_iformat ti)) e