package alt-ergo-lib

  1. Overview
  2. Docs
package alt-ergo-lib
Legend:
Library
Module
Module type
Parameter
Class
Class type

Interface of Rationals *

module Z : ZSig
type t
exception Not_a_float
val num : t -> Z.t
val den : t -> Z.t
val zero : t
val one : t
val m_one : t
val compare : t -> t -> int
val compare_to_0 : t -> int
val equal : t -> t -> bool
val sign : t -> int
val hash : t -> int
val is_zero : t -> bool
val is_one : t -> bool
val is_m_one : t -> bool
val is_int : t -> bool
val add : t -> t -> t
val sub : t -> t -> t
val mult : t -> t -> t
val div : t -> t -> t
val minus : t -> t
val abs : t -> t
val min : t -> t -> t
val max : t -> t -> t
val inv : t -> t
val modulo : t -> t -> t
val from_float : float -> t
val from_int : int -> t
val from_z : Z.t -> t
val from_zz : Z.t -> Z.t -> t
val from_string : string -> t
val to_float : t -> float
val to_z : t -> Z.t
val to_string : t -> string
val print : Stdlib.Format.formatter -> t -> unit
val power : t -> int -> t
val floor : t -> t
val ceiling : t -> t
val truncate : t -> Z.t

converts the argument to an integer by truncation. *

val mult_2exp : t -> int -> t

multiplies the first argument by 2^(the second argument)

val div_2exp : t -> int -> t

divides the first argument by 2^(the second argument)

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct