Module Coq.Pair

module Pair: sig .. end
Coq pairs

val typ : Term.constr lazy_t
val pair : Term.constr lazy_t
val of_pair : Term.constr -> Term.constr -> Term.constr * Term.constr -> Term.constr