external contains_all_of_vec3_array : t -> Vec3_array.t -> bool = "polytope_contains_all_of_vec3_array"