Closed this issue 5 years ago · 1 comments
That is the only place it is used, so it might as well just be defined there.
Resolved by #316.