Re: Further doubts...


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,

Jim H.