[CZT-Devel] (implicit) operator templates in (Delta) schemas - ???

[Leo F. <leo...@ne...>]

Hi,

I've seen in a spec a relation as an infix operator like 

x R y		(e.g.,  \relation..... )

rather than (x,y) \in R. This relation happen to appear as a variable within a schema (odd?)

\begin{schema}{S}
     \_ R \_ : \nat \rel \nat
\end{schema}

Now, when I have 

\begin{schema}{Op}
   \Delta~S
\where
    (\_ R \_)' = .....
\end{schema}

the dashed name is clearly undeclared. Yet, in ZEves, the "dashed" name gets declared
as an Operator. What the standard says about such "implicit" op temp declarations?

Any comments on that? I haven't come across this before and I am not sure
what's the right answer ....

Best,
Leo