[ elab ] Make %macro
-function be callable without the ElabReflection
extension
#3581
Job | Run time |
---|---|
41s | |
41s |
%macro
-function be callable without the ElabReflection
extension
#3581
Job | Run time |
---|---|
41s | |
41s |