Module 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

Multiply an integer by a constant

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

This is truncated (C99-like) integer division

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

Bitwise and, where negative integers are seen as prefixed by infinite ones

val ior : (D.integer, D.integer, D.integer) Context_Arity_Forward(D.Context).ar2

Bitwise or, where negative integers are seen as prefixed by infinite ones

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

Integer constant

val zero : D.integer Context_Arity_Forward(D.Context).ar0

These can be defined from the others, but it may be more efficient to implement them directly (no need to build temporary values...). They are also often convenient to use directly.

val one : D.integer Context_Arity_Forward(D.Context).ar0