let eq_array arr (ta:array) (tb:array) = ArrEqDef.define arr ; let eq = ArrEqName.get_definition arr in p_app2 eq.d_name ta tb