perf: use withSynthesize
when elaborating let
/have
type
#4311
Job | Run time |
---|---|
2s | |
2s |
withSynthesize
when elaborating let
/have
type
#4311
Job | Run time |
---|---|
2s | |
2s |