Re: $assert* bnf


Subject: Re: $assert* bnf
From: Stefen Boyd (stefen@boyd.com)
Date: Tue Apr 23 2002 - 10:55:38 PDT


At 01:28 PM 4/22/2002 -0400, Tom Fitzpatrick wrote:
>module_or_assertion ::=
> module_identifier
> | assertion_identifier

Tom,

I would probably make this module_or_assertion_identifier
just to be obscene... and to be consistent with the rest
of the bnf.

Stefen

--------------------
Stefen Boyd Boyd Technology, Inc.
stefen@BoydTechInc.com (408)739-BOYD
www.BoydTechInc.com (408)739-1402 (fax)



This archive was generated by hypermail 2b28 : Tue Apr 23 2002 - 11:04:48 PDT