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