[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: RECURSIVE as a forward declaration



Here's something else you can do. 


  MessageAction(OpAction(_), u , v) == ...

   ...


  OpAction(a) == ...


   ...


  Next == \/ \E a \in ... :  MessageAction(OpAction(a), ...)
          \/ ...


Leslie