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