coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Accessing Class members

From: "John Wiegley" <johnw AT newartisans.com>
To: Durward McDonell <Durward.McDonell AT jhuapl.edu>
Cc: <coq-club AT inria.fr>
Subject: Re: [Coq-Club] Accessing Class members
Date: Tue, 12 Jan 2016 08:26:55 -0800
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=jwiegley AT gmail.com; spf=Pass smtp.mailfrom=jwiegley AT gmail.com; spf=None smtp.helo=postmaster AT mail-pa0-f50.google.com
Ironport-phdr: 9a23:Me4jYx04uMadF3P8smDT+DRfVm0co7zxezQtwd8ZsekVLfad9pjvdHbS+e9qxAeQG96LtbQU1qGO4+jJYi8p39WoiDg6aptCVhsI2409vjcLJ4q7M3D9N+PgdCcgHc5PBxdP9nC/NlVJSo6lPwWB6kO74TNaIBjjLw09fr2zQd6MyZTqnLjis7ToICx2xxOFKYtoKxu3qQiD/uI3uqBFbpgL9x3Sv3FTcP5Xz247bXianhL7+9vitMU7q3cYk7sb+sVBSaT3ebgjBfwdVWx+cjN92Mq+mQTZUgKV6jM5WUkRlBdMB0CRwAzgQZ7rvm3fvcZ63iSeOeX0Ta09QTDk4qt2HkzShT8DJgI+pSv1jcx2xJ1arR2lqg01i9rWZ4GTK9J4c7zUZ88bXmNHRYBaUCkXUa2maI5aRcgGPeAQkIjwqF8DvFH2UQurBOXw4jlFmXbswawh2uI6VwrB2VpzTJo1rH3IoYCtZ+8pWuevwfyNlG2bYg==
Organization: New Artisans LLC

>>>>> Durward McDonell
>>>>> <Durward.McDonell AT jhuapl.edu>
>>>>> writes:

> But now I cannot access, e.g., ZMCT.ops.compare (or ZMCT.ops.(compare), or
> (compare ZMCT.ops)). How do I do something interesting with ZMCT?

Did you mean ZMCT.Ops.compare?

--
John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F
http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2

[Coq-Club] Accessing Class members, Durward McDonell, 01/12/2016
- Re: [Coq-Club] Accessing Class members, John Wiegley, 01/12/2016
  - Re: [Coq-Club] Accessing Class members, Durward McDonell, 01/12/2016
- Re: [Coq-Club] Accessing Class members, Sosuke MORIGUCHI, 01/12/2016
  - Re: [Coq-Club] Accessing Class members, Durward McDonell, 01/13/2016
- Re: [Coq-Club] Accessing Class members, Durward McDonell, 01/12/2016
  - Re: [Coq-Club] Accessing Class members, Arnaud Spiwack, 01/13/2016
    - Re: [Coq-Club] Accessing Class members, Durward McDonell, 01/13/2016