is there a more convenient way to get everything related to the code setup for a specific definition/function than doing print_codesetup
and searching through its output?
Maybe code_thms Max
is what you are looking for?
yes, thank you!
Last updated: Jun 08 2025 at 08:25 UTC