fact: Definition display_cell (tr_x tr_y scale : Q) (c : cell) := display_edge tr_x tr_y scale {| left_pt := head dummy_pt (left_pts c); right_pt := seq.last dummy_pt (left_pts c) |}.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL