Build.IntegerSourceinclude Operator.INTEGER_FORWARD
with module Arity := Operator.Forward_Arity
and type boolean = Operator.Function_symbol.boolean t
and type integer = Operator.Function_symbol.integer tMultiply an integer by a constant
This is truncated (C99-like) integer division
Bitwise and, where negative integers are seen as prefixed by infinite ones
Bitwise or, where negative integers are seen as prefixed by infinite ones
Integer constant
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.