Build.Integerval empty : Operator.Function_symbol.integer tval unknown : level:int -> Operator.Function_symbol.integer ttype integer = Operator.Function_symbol.integer ttype boolean = Operator.Function_symbol.boolean tval itimes : Z.t -> (integer, integer) Operator.Forward_Arity.ar1val iadd : (integer, integer, integer) Operator.Forward_Arity.ar2val imul : (integer, integer, integer) Operator.Forward_Arity.ar2val idiv : (integer, integer, integer) Operator.Forward_Arity.ar2val imod : (integer, integer, integer) Operator.Forward_Arity.ar2val ishl : (integer, integer, integer) Operator.Forward_Arity.ar2val ishr : (integer, integer, integer) Operator.Forward_Arity.ar2val iand : (integer, integer, integer) Operator.Forward_Arity.ar2val ior : (integer, integer, integer) Operator.Forward_Arity.ar2val ixor : (integer, integer, integer) Operator.Forward_Arity.ar2val isub : (integer, integer, integer) Operator.Forward_Arity.ar2val ieq : (integer, integer, boolean) Operator.Forward_Arity.ar2val ile : (integer, integer, boolean) Operator.Forward_Arity.ar2val iconst : Z.t -> integer Operator.Forward_Arity.ar0val zero : integer Operator.Forward_Arity.ar0val one : integer Operator.Forward_Arity.ar0