external contains_vec3_array : t -> Vec3_array.t -> bool =
  "polytope_contains_vec3_array"