Module type Numerors_arithmetics.Arithmetic

module type Arithmetic = sig .. end

Signature of an arithmetic


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