Draft: Nuplompiler: refactor benchmark
This MR refactors the Benchmark by:
- Splitting it into several files,
- Adding more structure to the
tx
type, - Defining a precisely typed module for dealing with bounded integers.
Edited by Marco Stronati
This MR refactors the Benchmark by:
tx
type,