Changes

Summary

fix over-eager label erasure in documentation (#11870) (commit: 4726462) (details)

Commit 4726462c08b57ea1c1051a82f8b6589b9bad7eac by noreply fix over-eager label erasure in documentation (#11870) (commit: 4726462)
The file was modified	stdlib/moreLabels.mli (diff)
The file was modified	stdlib/hashtbl.mli (diff)
The file was modified	stdlib/templates/hashtbl.template.mli (diff)