fact: Definition display_cell_centers (tr_x tr_y scale : Q) (s : seq cell) := let indices := seq.iota 0 (List.length s) in map (fun i => append "newpath " (append (display_point tr_x tr_y scale (cell_center (nth i s dummy_cell))) (append " moveto (" (append (Z_to_string (Z.of_nat i)) ") show")))) indices.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL