Module type Sig.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