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