module type Arithmetic = sig .. end
sig
end
Signature of an arithmetic
type forward
module Forward: sig .. end
module Backward: sig .. end