Zulip Chat Archive
Stream: general
Topic: Docstrings and `expand_exists`
Anatole Dedecker (Jul 29 2022 at 19:11):
Is there a way to declare docstrings for definitions generated by expand_exists ?
Last updated: Dec 20 2023 at 11:08 UTC
Is there a way to declare docstrings for definitions generated by expand_exists ?
Last updated: Dec 20 2023 at 11:08 UTC