module Pair: sig .. end
sig
end
Coq pairs
val typ : EConstr.constr lazy_t
EConstr.constr lazy_t
val pair : EConstr.constr lazy_t
val of_pair : EConstr.constr -> EConstr.constr -> EConstr.constr * EConstr.constr -> EConstr.constr
EConstr.constr -> EConstr.constr -> EConstr.constr * EConstr.constr -> EConstr.constr