#
mutable databody_integ
| : Xdr_mstring.mstring | ; | |||
#
mutable checksum
| : string | ; |
#
mutable databody_priv
| : Xdr_mstring.mstring | ; |
#
mutable gss_proc
| : rpc_gss_proc_t | ; | |||
#
mutable seq_num
| : Netnumber.uint4 | ; | |||
#
mutable service
| : rpc_gss_service_t | ; | |||
#
mutable handle
| : string | ; |