Re: Further doubts...
To: email@example.com (Wilma Penzo)
Subject: Re: Further doubts...
Date: Tue, 08 Nov 94 09:56:29 -0800
Delivery-Date: Tue, 08 Nov 94 09:56:33 -0800
In-Reply-To: Message of Tue, 8 Nov 1994 12:19:58 +0100 (MET)
I'm sorry if we were unclear on this. The key word here is not
"functions," but "access." Client programs may use the (C) constants,
types, and functions that are exported. The specifications of client
programs may use the LSL sorts (types) and operators (constants and
mathematical functions) that are used in their definitions.
It is unfortunate that C has chosen to call procedures "functions," but we
are stuck with that, no matter how confusing it is. LCL never allows C
"functions" in predicates, regardless of where they are defined. Never.
Hope this helps,