let term_mk_div = Sig.mk_div