[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Damien Doligez <damien.doligez@i...> |
| Subject: | Re: [Caml-list] Random questions |
On 2009-12-03, at 12:00, AUGER wrote:
> (* preliminary function: negate_minus_1 : int -> int : n |-> -n-1 *)
> let negate_minus_1 = (lor) (-(max_int/2)-1) (* or inline the
> constant *)
You probably mean this:
let negate_minus_1 = (lxor) (-1);;
-- Damien