Module Numerors_arithmetics.Exact

Modules which implement the previous signature for each field of <t>

type forward = I.t
module Forward : sig ... end
module Backward : sig ... end