debugger/int64ops.mli

   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$ *)
  14
  15 (****************** arithmetic operators for Int64 *********************)
  16
  17 val ( ++ ) : int64 -> int64 -> int64;;
  18 val ( -- ) : int64 -> int64 -> int64;;
  19 val suc64 : int64 -> int64;;
  20 val pre64 : int64 -> int64;;
  21 val _0 : int64;;
  22 val _1 : int64;;
  23 val _minus1 : int64;;
  24 val ( ~~ ) : string -> int64;;
  25 val max_small_int : int64;;
  26 val to_int : int64 -> int;;