external
add_hole : t
->
Convex_planar_polygon
.t
->
unit =
"convex_planar_occluder_add_hole"