coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: "Patricia Peratto" <psperatto AT adinet.com.uy>
- To: "coqclub" < coq-club AT inria.fr>
- Subject: [Coq-Club] operator <+
- Date: Mon, 23 Sep 2013 19:06:06 -0300
|
Which is the meaning of the operator
<+
in Module Types, by example in
Module Type EqLt := Typ <+ HasEq <+
HasLt.
in module Orders?
Patricia
|
- [Coq-Club] operator <+, Patricia Peratto, 09/24/2013
- Re: [Coq-Club] operator <+, Kristopher Micinski, 09/24/2013
- Re: [Coq-Club] operator <+, Valentin Robert, 09/24/2013
Archive powered by MHonArc 2.6.18.