Based on the API in https://ocaml.org/api/Set.S.html . Using techniques discussed in https://mariojppereira.github.io/ocaml2021-paper23.pdf . * [set.ml](https://github.com/ocaml/ocaml/blob/trunk/stdlib/set.ml) * [setCameleer.mli](https://github.com/ocaml-gospel/cameleer/blob/master/stdlib/setCameleer.mli)
Based on the API in https://ocaml.org/api/Set.S.html . Using techniques discussed in https://mariojppereira.github.io/ocaml2021-paper23.pdf .