Module Check_sexp_conversion (M : sig .. end)

Check_sexp_conversion checks that conversion of a map or set to a sexp uses the same sexp conversion as the underlying element.