doc: docstring review for Std.Do#11550

Merged

david-christiansen merged 3 commits intoleanprover:masterfrom

david-christiansen:docstrings-mvcgen

Dec 9, 2025

Commits on Dec 8, 2025

doc: docstring review for Std.Do
david-christiansen
committed

Commits on Dec 9, 2025