1 (***********************************************************************)
5 (* Damien Doligez, projet Moscova, INRIA Rocqencourt *)
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. *)
11 (***********************************************************************)
13 (* $Id: int64ops.ml 5200 2002-10-29 17:53:24Z doligez $ *)
15 (****************** arithmetic operators for Int64 *********************)
17 let ( ++ ) = Int64.add;;
18 let ( -- ) = Int64.sub;;
19 let suc64 = Int64.succ;;
20 let pre64 = Int64.pred;;
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;;