fact: Definition contains_point (p : pt) (c : cell) : bool := negb (point_strictly_under_edge p (low c)) && point_under_edge p (high c).
imports: mathcomp(all_ssreflect) ZArith QArith List String OrderedType OrderedTypeEx FMapAVL