coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] operator <+

From: Valentin Robert <valentin.robert.42 AT gmail.com>
To: Patricia Peratto <psperatto AT adinet.com.uy>
Cc: coqclub <coq-club AT inria.fr>
Subject: Re: [Coq-Club] operator <+
Date: Mon, 23 Sep 2013 15:16:21 -0700

Relevant documentation:

http://coq.inria.fr/distrib/current/refman/Reference-Manual004.html#sec88

- Valentin

On Mon, Sep 23, 2013 at 3:06 PM, Patricia Peratto
<psperatto AT adinet.com.uy>
wrote:
> 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