Expanding a derive

Stream: new members

[Josiah Eldon Bills]

Is there a way to expand a derive to see what code is being generated? Similarly, can you expand a structure to see the underlying inductive?

[Eric Wieser]

#print the_structure and #print the_structure.derived_inst might be the answers to your question