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