fact: Definition display_edge (tr_x tr_y scale : Q) (e : edge) := append (display_point tr_x tr_y scale (left_pt e)) (append " moveto " (append (display_point tr_x tr_y scale (right_pt e)) " lineto ")).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL