Make a BinderAndDecls
data type, at first just a wrapper around Binder
.
#2511
Job | Run time |
---|---|
0s | |
0s |
BinderAndDecls
data type, at first just a wrapper around Binder
.
#2511
Job | Run time |
---|---|
0s | |
0s |