module Pair: sig .. end
sig
end
val typ : Term.constr lazy_t
Term.constr lazy_t
val pair : Term.constr lazy_t
val of_pair : Term.constr -> Term.constr -> Term.constr * Term.constr -> Term.constr
Term.constr -> Term.constr -> Term.constr * Term.constr -> Term.constr