Convert_Integer_Forward.F
include module type of struct include D end
type boolean = D.boolean
type integer = D.integer
module Context = D.Context
module Integer_Forward = D.Integer_Forward
include module type of struct include D.Integer_Forward end
val itimes : Z.t -> (D.integer, D.integer) Context_Arity_Forward(D.Context).ar1
val iadd :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val imul :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val idiv :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val imod :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val ishl :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val ishr :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val iand :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val ior :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val ixor :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val isub :
(D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2
val ieq :
(D.integer, D.integer, D.boolean) Context_Arity_Forward(D.Context).ar2
val ile :
(D.integer, D.integer, D.boolean) Context_Arity_Forward(D.Context).ar2
val iconst : Z.t -> D.integer Context_Arity_Forward(D.Context).ar0
val zero : D.integer Context_Arity_Forward(D.Context).ar0