\File{reliableros.py},{17:35},{Feb 21 1989}
\L{\LB{\Proc{ReliableROSData}ReliableROSData ::= \K{SEQUENCE} \{}}
\L{\LB{    rosOperation \K{INTEGER},}}
\L{\LB{}\Tab{24}{\C{}\-\- the operation being applied}}
\CE{}\L{\LB{    data \K{ANY},}}
\L{\LB{}\Tab{24}{\C{}\-\- the Operation Argument}}
\CE{}\L{\LB{    oldVersion \K{ANY}}}
\L{\LB{}\Tab{24}{\C{}\-\- data version to which operation should be applied}}
\CE{}\L{\LB{}\Tab{24}{\C{}\-\- version syntax will be defined by the}}
\CE{}\L{\LB{}\Tab{24}{\C{}\-\- Reliable ROS user}}
\CE{}\L{\LB{    newVersion \K{ANY}}}
\L{\LB{}\Tab{24}{\C{}\-\- version number which results from operation}}
\CE{}\L{\LB{    \}}}
\L{\LB{}}
