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