module Exact: Arithmetic with type forward = I.t
Arithmetic
with type forward = I.t
Modules which implement the previous signature for each field of <t>
type forward
module Forward: sig .. end
sig
end
module Backward: sig .. end