let term_mk_select = Arr.mk_select Term.is_equal