fact: Definition example_test edge_list (p1 p2 : pt) (extra : seq string) := display_full_example 300 400 70 example_bottom example_top edge_list p1 p2 extra.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL