let eq = String.concat " = " (List.map string_of_cop (repr::others)) in
dot_of_cop repr ^ "[label=\"" ^ eq ^ "\"];" ^
if !leq = [] then "" else "\n"
let eq = String.concat " = " (List.map string_of_cop (repr::others)) in
dot_of_cop repr ^ "[label=\"" ^ eq ^ "\"];" ^
if !leq = [] then "" else "\n"