Skip to content
Success

Changes

Summary

  1. Add {Set,Map}.S.is_singleton (#14118) (details)
Commit 01ebbbd3d1b99cacf368345a8989136f8b38f0b2 by noreply
Add {Set,Map}.S.is_singleton (#14118)

The file was modifiedstdlib/set.ml (diff)
The file was modifiedstdlib/map.mli (diff)
The file was modifiedstdlib/templates/map.template.mli (diff)
The file was modifiedstdlib/set.mli (diff)
The file was modifiedtestsuite/tests/typing-implicit_unpack/implicit_unpack.ml (diff)
The file was modifiedtestsuite/tests/shapes/comp_units.ml (diff)
The file was modifiedChanges (diff)
The file was modifiedtestsuite/tests/typing-short-paths/short-paths.compilers.reference (diff)
The file was modifiedstdlib/map.ml (diff)
The file was modifiedtestsuite/tests/generalized-open/accepted_expect.ml (diff)
The file was modifiedstdlib/templates/set.template.mli (diff)
The file was modifiedtestsuite/tests/typing-modules/pr7818.ml (diff)
The file was modifiedstdlib/moreLabels.mli (diff)
The file was modifiedtestsuite/tests/typing-modules/aliases.ml (diff)