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