hargoniX opened this issue 3 years ago · 0 comments
Render docstrings on inductive types constructors, don't forget about class inductive.