fact: Definition display_segment (tr_x tr_y scale : Q) (s : pt * pt) := display_edge tr_x tr_y scale (Bedge (fst s) (snd s)).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL