|
|
| FACT_DESC left_side | left_side |
| FACT_DESC right_side | right_side |
| short request_type | request_type |
| short op_code | op_code |
| short op_precedence | op_precedence |
| short op_written | op_written |
| Generated by: root on linux on Sun Jul 13 18:06:35 2003, using kdoc 2.0a54. |