Module Sig.Convert_Integer_Forward

Parameters

module C : Convert_Contexts

module D : With_Integer_Forward with module Context = C.To

Signature

module C : sig ... end

module F : sig ... end

include sig ... end

type integer = F.integer

type boolean = F.boolean

val itimes : Z.t -> (integer, integer) C.To_Arity.ar1

val iadd : (integer, integer, integer) C.To_Arity.ar2

val imul : (integer, integer, integer) C.To_Arity.ar2

val idiv : (integer, integer, integer) C.To_Arity.ar2

val imod : (integer, integer, integer) C.To_Arity.ar2

val ishl : (integer, integer, integer) C.To_Arity.ar2

val ishr : (integer, integer, integer) C.To_Arity.ar2

val iand : (integer, integer, integer) C.To_Arity.ar2

val ior : (integer, integer, integer) C.To_Arity.ar2

val ixor : (integer, integer, integer) C.To_Arity.ar2

val isub : (integer, integer, integer) C.To_Arity.ar2

val ieq : (integer, integer, boolean) C.To_Arity.ar2

val ile : (integer, integer, boolean) C.To_Arity.ar2

val iconst : Z.t -> integer C.To_Arity.ar0

val zero : integer C.To_Arity.ar0

val one : integer C.To_Arity.ar0