Module Coq.Pair

module Pair: sig .. end

Coq pairs

val typ : Coq.lazy_ref

val pair : Coq.lazy_ref

val of_pair : EConstr.constr ->
       EConstr.constr -> EConstr.constr * EConstr.constr -> EConstr.constr