fact: Definition example_by_index edge_list_index point_pair_index (with_dotted_line : bool) := let edge_list := nth edge_list_index example_edge_sets nil in let point_pairs := nth edge_list_index example_point_spread_sets nil in let pp := nth point_pair_index point_pairs (Bpt 0 0, Bpt 1 1) in example_test edge_list (fst pp) (snd pp) (if with_dotted_line then reference_line edge_list (fst pp) (snd pp) else nil).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL