Module Build.Integer

val empty : Operator.Function_symbol.integer t

val unknown : level:int -> Operator.Function_symbol.integer t

type integer = Operator.Function_symbol.integer t

type boolean = Operator.Function_symbol.boolean t

val itimes : Z.t -> (integer, integer) Operator.Forward_Arity.ar1

val iadd : (integer, integer, integer) Operator.Forward_Arity.ar2

val imul : (integer, integer, integer) Operator.Forward_Arity.ar2

val idiv : (integer, integer, integer) Operator.Forward_Arity.ar2

val imod : (integer, integer, integer) Operator.Forward_Arity.ar2

val ishl : (integer, integer, integer) Operator.Forward_Arity.ar2

val ishr : (integer, integer, integer) Operator.Forward_Arity.ar2

val iand : (integer, integer, integer) Operator.Forward_Arity.ar2

val ior : (integer, integer, integer) Operator.Forward_Arity.ar2

val ixor : (integer, integer, integer) Operator.Forward_Arity.ar2

val isub : (integer, integer, integer) Operator.Forward_Arity.ar2

val ieq : (integer, integer, boolean) Operator.Forward_Arity.ar2

val ile : (integer, integer, boolean) Operator.Forward_Arity.ar2

val iconst : Z.t -> integer Operator.Forward_Arity.ar0

val zero : integer Operator.Forward_Arity.ar0

val one : integer Operator.Forward_Arity.ar0