package coq

  1. Overview
  2. Docs
Formal proof management system

Install

Dune Dependency

Authors

Maintainers

Sources

coq-8.14.0.tar.gz
sha256=b1501d686c21836302191ae30f610cca57fb309214c126518ca009363ad2cd3c

doc/micromega_plugin/Micromega_plugin/NumCompat/Q/index.html

Module NumCompat.QSource

Sourcemodule Z = Z
type t
val of_int : int -> t
val zero : t
val one : t
Sourceval two : t
Sourceval ten : t
val minus_one : t

-1 constant

Sourcemodule Notations : sig ... end
val compare : t -> t -> int
val make : Z.t -> Z.t -> t
val den : t -> Z.t
val num : t -> Z.t
val of_bigint : Z.t -> t
val to_bigint : t -> Z.t
val neg : t -> t
val max : t -> t -> t
val min : t -> t -> t
val sign : t -> int
val abs : t -> t
Sourceval mod_ : t -> t -> t
Sourceval floor : t -> t
Sourceval ceiling : t -> t
Sourceval round : t -> t
Sourceval pow2 : int -> t
Sourceval pow10 : int -> t
Sourceval power : int -> t -> t
val to_string : t -> string
val of_string : string -> t
val to_float : t -> float
OCaml

Innovation. Community. Security.