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: Aug 03 2023 at 10:10 UTC
Is there a way to declare docstrings for definitions generated by expand_exists ?
Last updated: Aug 03 2023 at 10:10 UTC