Module Numerors_arithmetics.Exact

module Exact: Arithmetic  with type forward = I.t

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


type forward 
module Forward: sig .. end
module Backward: sig .. end