Open quffaro opened 4 months ago
We overloaded Base.repr as part of an effort to document theories. However the @op macro is instead rendered as a LineNumberNode in the docstring.
It's desirable to have all content defined in the body of a theory be represented in the docstring.
We overloaded Base.repr as part of an effort to document theories. However the @op macro is instead rendered as a LineNumberNode in the docstring.
It's desirable to have all content defined in the body of a theory be represented in the docstring.