Make.Integer_Forward
val itimes :
Z.t ->
(integer, integer) Domain_sig.Context_Arity_Forward(Context).ar1
val iadd :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val imul :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val idiv :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val imod :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val ishl :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val ishr :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val iand :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val ior :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val ixor :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val isub :
(integer, integer, integer) Domain_sig.Context_Arity_Forward(Context).ar2
val ieq :
(integer, integer, boolean) Domain_sig.Context_Arity_Forward(Context).ar2
val ile :
(integer, integer, boolean) Domain_sig.Context_Arity_Forward(Context).ar2
val iconst : Z.t -> integer Domain_sig.Context_Arity_Forward(Context).ar0