The nice thing is that `/` is a template, and rewrite rules are applied after template expansion, so that one is already covered!
Check [this test](https://github.com/unicredit/neo/blob/master/tests/rewrites.nim#L38-L46)
The nice thing is that `/` is a template, and rewrite rules are applied after template expansion, so that one is already covered!
Check [this test](https://github.com/unicredit/neo/blob/master/tests/rewrites.nim#L38-L46)