let
to_set l =
List
.fold_right
Cudf_set
.add l
Cudf_set
.empty