fact: Definition set_left_pts (c : cell) (l : seq pt) := {| left_pts := l; right_pts := right_pts c; low := low c; high := high c |}.
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL