Build.Integer
val empty : Transfer_functions.Term.integer t
val unknown : level:int -> Transfer_functions.Term.integer t
include Transfer_functions.Integer_Forward
with module Arity := Transfer_functions.Forward_Arity
and type boolean = Transfer_functions.Term.boolean t
and type integer = Transfer_functions.Term.integer t
type integer = Transfer_functions.Term.integer t
type boolean = Transfer_functions.Term.boolean t
val itimes : Z.t -> (integer, integer) Transfer_functions.Forward_Arity.ar1
val iadd : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val imul : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val idiv : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val imod : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val ishl : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val ishr : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val iand : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val ior : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val ixor : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val isub : (integer, integer, integer) Transfer_functions.Forward_Arity.ar2
val ieq : (integer, integer, boolean) Transfer_functions.Forward_Arity.ar2
val ile : (integer, integer, boolean) Transfer_functions.Forward_Arity.ar2
val iconst : Z.t -> integer Transfer_functions.Forward_Arity.ar0
val zero : integer Transfer_functions.Forward_Arity.ar0
val one : integer Transfer_functions.Forward_Arity.ar0