coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Overload Definitions

From: CHAUVIN Barnabe <barnabe.chauvin AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] Overload Definitions
Date: Sun, 02 Nov 2014 16:09:09 +0100

Hello :),

Is there a workaround to overload Defintion (like in C++ for example). I mean, have two definitions with the same name, but with different parameters types.

Thanks

[Coq-Club] Overload Definitions, CHAUVIN Barnabe, 11/02/2014
- Re: [Coq-Club] Overload Definitions, Abhishek Anand, 11/02/2014
- Re: [Coq-Club] Overload Definitions, John Wiegley, 11/02/2014