Module type Sig.Integer_Backward

type integer
type boolean
module Arity : Arity
val itimes : Z.t -> (integer, integer) Arity.ar1