ZArith is the de-factor library for numerical computation in the OCaml ecosystem nowadays. It would be nice to provide the Rat module from the tests (see #19) as a functor so that users have a direct way of implementing the Rationals interface using ZArith's Q.
ZArith is the de-factor library for numerical computation in the OCaml ecosystem nowadays. It would be nice to provide the
Ratmodule from the tests (see #19) as a functor so that users have a direct way of implementing theRationalsinterface using ZArith'sQ.