The Coq mailing list

[Abhishek Anand <abhishek.anand.iitg AT gmail.com>]

You can use the type class mechanism to achieve something quite close.

Reading chapter 2 of the following tutorial might be a good way to start.

http://www.labri.fr/perso/casteran/CoqArt/TypeClassesTut/typeclassestut.pdf

-- Abhishek

http://www.cs.cornell.edu/~aa755/

On Sun, Nov 2, 2014 at 10:09 AM, CHAUVIN Barnabe <barnabe.chauvin AT gmail.com> wrote:

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