]> rtime.felk.cvut.cz Git - l4.git/blob - l4/pkg/ocaml/ocaml/contrib/debugger/int64ops.ml
Update
[l4.git] / l4 / pkg / ocaml / ocaml / contrib / debugger / int64ops.ml
1 (***********************************************************************)
2 (*                                                                     *)
3 (*                           Objective Caml                            *)
4 (*                                                                     *)
5 (*          Damien Doligez, projet Moscova, INRIA Rocqencourt          *)
6 (*                                                                     *)
7 (*  Copyright 2002 Institut National de Recherche en Informatique et   *)
8 (*  en Automatique.  All rights reserved.  This file is distributed    *)
9 (*  under the terms of the Q Public License version 1.0.               *)
10 (*                                                                     *)
11 (***********************************************************************)
12
13 (* $Id: int64ops.ml 5200 2002-10-29 17:53:24Z doligez $ *)
14
15 (****************** arithmetic operators for Int64 *********************)
16
17 let ( ++ ) = Int64.add;;
18 let ( -- ) = Int64.sub;;
19 let suc64 = Int64.succ;;
20 let pre64 = Int64.pred;;
21 let _0 = Int64.zero;;
22 let _1 = Int64.one;;
23 let _minus1 = Int64.minus_one;;
24 let ( ~~ ) = Int64.of_string;;
25 let max_small_int = Int64.of_int max_int;;
26 let to_int = Int64.to_int;;