Module type Numerors_arithmetics.Arithmetic

Signature of an arithmetic

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