external contains_all_of_bounding_box : t -> Bounding_box.t -> bool = "polytope_contains_all_of_bounding_box"