Module type Sig.Integer_Forward

include Integer_Forward_Min
include Integer_Backward
type integer
type boolean
module Arity : Arity
val itimes : Z.t -> (integer, integer) Arity.ar1
val iconst : Z.t -> integer Arity.ar0
val zero : integer Arity.ar0
val one : integer Arity.ar0