checker: check if unwrapped m[key] if m is Option
#112
| Job | Run time |
|---|---|
| 2m 33s | |
| 1m 30s | |
| 4m 3s |
m[key] if m is Option
#112
| Job | Run time |
|---|---|
| 2m 33s | |
| 1m 30s | |
| 4m 3s |