fact: Definition example_point_spread_sets : seq (seq (pt * pt)) := ((Bpt 0.5 0.3, Bpt (-3) 1.9) :: (Bpt (-3) 1.9, Bpt (-1) 0.66) :: (Bpt (-1.9) 0.9, Bpt 1.5 (-1)) :: nil) :: ((Bpt 0 0.3, Bpt (-3) 1.9) :: (Bpt (-3) 1.9, Bpt 1.5 (-1)) :: (Bpt (-1.9) (-2.1), Bpt 1.5 (-1)) :: nil) :: ((Bpt (-0.5) 0, Bpt 0.5 0) :: (Bpt (-1.1) 0, Bpt 0.5 0) :: (Bpt 0 0 , Bpt 1 1) :: nil) :: nil.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL