Previous  Up  Next

Module Coqi63

module Coqi63: sig .. end
val int_of_coqint : Constr.constr -> int
val int_to_coqint : int -> Constr.constr
val int_of_coqi63 : Constr.constr -> int
val int_to_coqi63 : int -> Constr.constr
val coqi63_t : Constr.constr