Module Conversions.Convert_Integer_Forward

Parameters

module C : Conversion
module F : sig ... end

Signature

type integer = F.integer
type boolean = F.boolean
val itimes : Z.t -> (integer, integer) C.To_Arity.ar1

Multiply 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

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

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.