Module Coq.Leibniz

module Leibniz: sig .. end

val eq_refl : EConstr.types -> EConstr.constr -> EConstr.constr