chore: deprecate s2n_set

tests/cbmc/include/cbmc_proof/make_common_datastructures.h

@@ -32,7 +32,6 @@
 #include "utils/s2n_blob.h"
 #include "utils/s2n_map_internal.h"
 #include "utils/s2n_safety_macros.h"
-#include "utils/s2n_set.h"
 #include "utils/s2n_socket.h"
 
 /*
@@ -102,21 +101,6 @@ void cbmc_populate_s2n_array(struct s2n_array *array);
  */
 struct s2n_array *cbmc_allocate_s2n_array();
 
-/*
- * Checks whether s2n_set is bounded by max_len and max_element_size.
- */
-bool s2n_set_is_bounded(const struct s2n_set *set, const size_t max_len, const size_t max_element_size);
-
-/*
- * Populates the fields of a pre-allocated s2n_set for CBMC proofs.
- */
-void cbmc_populate_s2n_set(struct s2n_set *set);
-
-/*
- * Properly allocates s2n_set for CBMC proofs.
- */
-struct s2n_set *cbmc_allocate_s2n_set();
-
 /*
  * Populates the fields of a pre-allocated s2n_dh_params for CBMC proofs.
  */