https://github.com/EasyCrypt/easycrypt
Tip revision: 955e909402cf7a5dc3dc55e4de13bbf373edd920 authored by Pierre-Yves Strub on 30 July 2015, 08:20:28 UTC
NewList: last_ -> last.
NewList: last_ -> last.
Tip revision: 955e909
ecBigInt.mli
(* --------------------------------------------------------------------
* Copyright (c) - 2012-2015 - IMDEA Software Institute and INRIA
* Distributed under the terms of the CeCILL-C license
* -------------------------------------------------------------------- *)
type zint
exception Overflow
val compare : zint -> zint -> int
val equal : zint -> zint -> bool
val sign : zint -> int
val hash : zint -> int
val le : zint -> zint -> bool
val lt : zint -> zint -> bool
val ge : zint -> zint -> bool
val gt : zint -> zint -> bool
val zero : zint
val one : zint
val add : zint -> zint -> zint
val neg : zint -> zint
val sub : zint -> zint -> zint
val mul : zint -> zint -> zint
val div : zint -> zint -> zint
val ediv : zint -> zint -> zint * zint
val erem : zint -> zint -> zint
val gcd : zint -> zint -> zint
val abs : zint -> zint
val pow : zint -> int -> zint
val pred : zint -> zint
val succ : zint -> zint
val parity : zint -> [`Even | `Odd]
val lshift : zint -> int -> zint
val rshift : zint -> int -> zint
val lgand : zint -> zint -> zint
val lgor : zint -> zint -> zint
val lgxor : zint -> zint -> zint
val lgnot : zint -> zint
module Notations : sig
val ( =^ ) : zint -> zint -> bool
val ( +^ ) : zint -> zint -> zint
val ( ~^ ) : zint -> zint
val ( -^ ) : zint -> zint -> zint
val ( *^ ) : zint -> zint -> zint
val ( /^ ) : zint -> zint -> zint
val ( <=^ ) : zint -> zint -> bool
val ( <^ ) : zint -> zint -> bool
val ( >=^ ) : zint -> zint -> bool
val ( >^ ) : zint -> zint -> bool
end
val of_int : int -> zint
val to_int : zint -> int
val of_string : string -> zint
val to_string : zint -> string
val pp_print : Format.formatter -> zint -> unit