let eq_record comp (ta:record) (tb:record) =
    if comp.cfields <>[] then RecEqDef.define comp ;
    let eq = RecEqName.get_definition comp in
    p_app2 eq.d_name ta tb