Module Coq.Pair

module Pair: sig .. end

Coq pairs


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