the_w:World, e:E.
  FairFifo  isrcv(kind(e))  index(e)  ||sends(lnk(kind(e));sender(e))||

1

1. the_w : World 2. e : E 3. FairFifo 4. isrcv(kind(e))   index(e)  ||sends(lnk(kind(e));sender(e))||

4 steps

About: IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html