Module Autolog.Log_Integer_Backward

Parameters

module F : sig ... end

Signature

val itimes : Z.t -> (C.integer, C.integer) C.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