Module type Numerors_arithmetics.Arithmetic

module type Arithmetic = sig .. end
Signature of an arithmetic

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