Module CoqZ

module CoqZ: sig .. end

type z = Big_int.big_int 

val xO : z -> z

val xI : z -> z

val plus : z -> z -> z

val minus : z -> z -> z

val times : z -> z -> z

val div : z -> z -> z

val neg : z -> z