package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Z = Z
type t
val of_int : int -> t
val zero : t
val one : t
val two : t
val ten : t
val minus_one : t

-1 constant

module 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
val mod_ : t -> t -> t
val floor : t -> t
val ceiling : t -> t
val round : t -> t
val pow2 : int -> t
val pow10 : int -> t
val power : int -> t -> t
val to_string : t -> string
val of_string : string -> t
val to_float : t -> float