package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val z_big_int : Micromega.z -> NumCompat.Z.t
val z : Micromega.z -> int
val q_to_num : Micromega.q -> NumCompat.Q.t
val positive : Micromega.positive -> int
val n : Micromega.n -> int
val nat : Micromega.nat -> int
val index : Micromega.positive -> int