Module Domain.Integer_Forward

val itimes : Z.t -> (integer, integer) Domain_Arity.ar1
val iconst : Z.t -> integer Domain_Arity.ar0