fact: Definition reference_line edge_list p1 p2 := ("[4 4] 0 setdash 3 setlinewidth"%string :: (List.map (fun sg => display_segment 300 400 70 (apt_val (fst sg), apt_val (snd sg))) match point_to_point (edges_to_cells example_bottom example_top edge_list) p1 p2 with Some l => l | None => nil end ++ "stroke %debug"%string :: nil)).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL