doc: clarify and expand docstrings for the instantiate functions#3183
Merged
kim-em merged 5 commits intoleanprover:masterfrom kmill:instantiate_docstringsJan 22, 2024
+61-9
Commits
Commits on Jan 14, 2024
Commits on Jan 15, 2024
- committed
- committed
