Closed yifanwww closed 8 months ago
Closes #474
I don't know if we should merge this PR (I didn't find a better solution to avoid null type).
null
@yifanwww I feel that the code has become more elegant.
Closes #474
I don't know if we should merge this PR (I didn't find a better solution to avoid
null
type).