coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PO ``Carrier_of'' field

From: "Samuel E. Moelius III" <moelius AT cis.udel.edu>
To: coq-club AT pauillac.inria.fr
Subject: [Coq-Club] PO ``Carrier_of'' field
Date: Sun, 22 Feb 2009 12:03:44 -0500
List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

In PO in Coq.Sets.Partial_Order, what is the rationale for having the ``Carrier_of'' field?

For example, is there some application that is made easier by its presence?

Thanks in advance.

Sam

[Coq-Club] PO ``Carrier_of'' field, Samuel E. Moelius III
- Re: [Coq-Club] PO ``Carrier_of'' field, St�phane Lescuyer
  - Re: [Coq-Club] PO ``Carrier_of'' field, Samuel E. Moelius III
    - Re: [Coq-Club] PO ``Carrier_of'' field, St�phane Lescuyer
      - Re: [Coq-Club] PO ``Carrier_of'' field, Samuel E. Moelius III
        
        Re: [Coq-Club] PO ``Carrier_of'' field, St�phane Lescuyer