Plasma GitLab Archive
Projects Blog Knowledge

sig
  type uint64 = int64
  and uint32 = int64
  and filename3 = string
  and nfspath3 = string
  and fileid3 = int64
  and cookie3 = int64
  and cookieverf3 = string
  and createverf3 = string
  and writeverf3 = string
  and opaque_data = Xdr_mstring.mstring
  and uid3 = Nfs3_aux.uint32
  and gid3 = Nfs3_aux.uint32
  and size3 = Nfs3_aux.uint64
  and offset3 = Nfs3_aux.uint64
  and mode3 = Nfs3_aux.uint32
  and count3 = Nfs3_aux.uint32
  and nfsstat3 = Rtypes.int4
  and ftype3_enum = Rtypes.int4
  and ftype3 =
      [ `nf3blk | `nf3chr | `nf3dir | `nf3fifo | `nf3lnk | `nf3reg | `nf3sock ]
  and specdata3 = {
    mutable specdata1 : Nfs3_aux.uint32;
    mutable specdata2 : Nfs3_aux.uint32;
  }
  and nfs_fh3 = string
  and nfstime3 = {
    mutable seconds : Nfs3_aux.uint32;
    mutable nseconds : Nfs3_aux.uint32;
  }
  and fattr3 = {
    mutable fa_type : Nfs3_aux.ftype3;
    mutable fa_mode : Nfs3_aux.mode3;
    mutable fa_nlink : Nfs3_aux.uint32;
    mutable fa_uid : Nfs3_aux.uid3;
    mutable fa_gid : Nfs3_aux.gid3;
    mutable fa_size : Nfs3_aux.size3;
    mutable fa_used : Nfs3_aux.size3;
    mutable fa_rdev : Nfs3_aux.specdata3;
    mutable fa_fsid : int64;
    mutable fa_fileid : Nfs3_aux.fileid3;
    mutable fa_atime : Nfs3_aux.nfstime3;
    mutable fa_mtime : Nfs3_aux.nfstime3;
    mutable fa_ctime : Nfs3_aux.nfstime3;
  }
  and post_op_attr = Nfs3_aux.fattr3 option
  and wcc_attr = {
    mutable wcc_size : Nfs3_aux.size3;
    mutable wcc_mtime : Nfs3_aux.nfstime3;
    mutable wcc_ctime : Nfs3_aux.nfstime3;
  }
  and pre_op_attr = Nfs3_aux.wcc_attr option
  and wcc_data = {
    mutable before : Nfs3_aux.pre_op_attr;
    mutable after : Nfs3_aux.post_op_attr;
  }
  and post_op_fh3 = Nfs3_aux.nfs_fh3 option
  and time_how = Rtypes.int4
  and set_mode3 = Nfs3_aux.mode3 option
  and set_uid3 = Nfs3_aux.uid3 option
  and set_gid3 = Nfs3_aux.gid3 option
  and set_size3 = Nfs3_aux.size3 option
  and set_atime =
      [ `dont_change
      | `set_to_client_time of Nfs3_aux.nfstime3
      | `set_to_server_time ]
  and set_mtime =
      [ `dont_change
      | `set_to_client_time of Nfs3_aux.nfstime3
      | `set_to_server_time ]
  and sattr3 = {
    mutable sa_mode : Nfs3_aux.set_mode3;
    mutable sa_uid : Nfs3_aux.set_uid3;
    mutable sa_gid : Nfs3_aux.set_gid3;
    mutable sa_size : Nfs3_aux.set_size3;
    mutable sa_atime : Nfs3_aux.set_atime;
    mutable sa_mtime : Nfs3_aux.set_mtime;
  }
  and diropargs3 = {
    mutable dirop_dir : Nfs3_aux.nfs_fh3;
    mutable dirop_name : Nfs3_aux.filename3;
  }
  and getattr3resok = { mutable getattr_obj_attributes : Nfs3_aux.fattr3; }
  and getattr3res =
      [ `nfs3_ok of Nfs3_aux.getattr3resok
      | `nfs3err_acces
      | `nfs3err_bad_cookie
      | `nfs3err_badhandle
      | `nfs3err_badtype
      | `nfs3err_dquot
      | `nfs3err_exist
      | `nfs3err_fbig
      | `nfs3err_inval
      | `nfs3err_io
      | `nfs3err_isdir
      | `nfs3err_jukebox
      | `nfs3err_mlink
      | `nfs3err_nametoolong
      | `nfs3err_nodev
      | `nfs3err_noent
      | `nfs3err_nospc
      | `nfs3err_not_sync
      | `nfs3err_notdir
      | `nfs3err_notempty
      | `nfs3err_notsupp
      | `nfs3err_nxio
      | `nfs3err_perm
      | `nfs3err_remote
      | `nfs3err_rofs
      | `nfs3err_serverfault
      | `nfs3err_stale
      | `nfs3err_toosmall
      | `nfs3err_xdev ]
  and sattrguard3 = Nfs3_aux.nfstime3 option
  and setattr3resok = { mutable setattr_obj_wcc_ok : Nfs3_aux.wcc_data; }
  and setattr3resfail = { mutable setattr_obj_wcc_fail : Nfs3_aux.wcc_data; }
  and setattr3res =
      [ `nfs3_ok of Nfs3_aux.setattr3resok
      | `nfs3err_acces of Nfs3_aux.setattr3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.setattr3resfail
      | `nfs3err_badhandle of Nfs3_aux.setattr3resfail
      | `nfs3err_badtype of Nfs3_aux.setattr3resfail
      | `nfs3err_dquot of Nfs3_aux.setattr3resfail
      | `nfs3err_exist of Nfs3_aux.setattr3resfail
      | `nfs3err_fbig of Nfs3_aux.setattr3resfail
      | `nfs3err_inval of Nfs3_aux.setattr3resfail
      | `nfs3err_io of Nfs3_aux.setattr3resfail
      | `nfs3err_isdir of Nfs3_aux.setattr3resfail
      | `nfs3err_jukebox of Nfs3_aux.setattr3resfail
      | `nfs3err_mlink of Nfs3_aux.setattr3resfail
      | `nfs3err_nametoolong of Nfs3_aux.setattr3resfail
      | `nfs3err_nodev of Nfs3_aux.setattr3resfail
      | `nfs3err_noent of Nfs3_aux.setattr3resfail
      | `nfs3err_nospc of Nfs3_aux.setattr3resfail
      | `nfs3err_not_sync of Nfs3_aux.setattr3resfail
      | `nfs3err_notdir of Nfs3_aux.setattr3resfail
      | `nfs3err_notempty of Nfs3_aux.setattr3resfail
      | `nfs3err_notsupp of Nfs3_aux.setattr3resfail
      | `nfs3err_nxio of Nfs3_aux.setattr3resfail
      | `nfs3err_perm of Nfs3_aux.setattr3resfail
      | `nfs3err_remote of Nfs3_aux.setattr3resfail
      | `nfs3err_rofs of Nfs3_aux.setattr3resfail
      | `nfs3err_serverfault of Nfs3_aux.setattr3resfail
      | `nfs3err_stale of Nfs3_aux.setattr3resfail
      | `nfs3err_toosmall of Nfs3_aux.setattr3resfail
      | `nfs3err_xdev of Nfs3_aux.setattr3resfail ]
  and lookup3resok = {
    mutable lookup_object : Nfs3_aux.nfs_fh3;
    mutable lookup_obj_attributes : Nfs3_aux.post_op_attr;
    mutable lookup_dir_attributes : Nfs3_aux.post_op_attr;
  }
  and lookup3resfail = {
    mutable lookup_dir_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and lookup3res =
      [ `nfs3_ok of Nfs3_aux.lookup3resok
      | `nfs3err_acces of Nfs3_aux.lookup3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.lookup3resfail
      | `nfs3err_badhandle of Nfs3_aux.lookup3resfail
      | `nfs3err_badtype of Nfs3_aux.lookup3resfail
      | `nfs3err_dquot of Nfs3_aux.lookup3resfail
      | `nfs3err_exist of Nfs3_aux.lookup3resfail
      | `nfs3err_fbig of Nfs3_aux.lookup3resfail
      | `nfs3err_inval of Nfs3_aux.lookup3resfail
      | `nfs3err_io of Nfs3_aux.lookup3resfail
      | `nfs3err_isdir of Nfs3_aux.lookup3resfail
      | `nfs3err_jukebox of Nfs3_aux.lookup3resfail
      | `nfs3err_mlink of Nfs3_aux.lookup3resfail
      | `nfs3err_nametoolong of Nfs3_aux.lookup3resfail
      | `nfs3err_nodev of Nfs3_aux.lookup3resfail
      | `nfs3err_noent of Nfs3_aux.lookup3resfail
      | `nfs3err_nospc of Nfs3_aux.lookup3resfail
      | `nfs3err_not_sync of Nfs3_aux.lookup3resfail
      | `nfs3err_notdir of Nfs3_aux.lookup3resfail
      | `nfs3err_notempty of Nfs3_aux.lookup3resfail
      | `nfs3err_notsupp of Nfs3_aux.lookup3resfail
      | `nfs3err_nxio of Nfs3_aux.lookup3resfail
      | `nfs3err_perm of Nfs3_aux.lookup3resfail
      | `nfs3err_remote of Nfs3_aux.lookup3resfail
      | `nfs3err_rofs of Nfs3_aux.lookup3resfail
      | `nfs3err_serverfault of Nfs3_aux.lookup3resfail
      | `nfs3err_stale of Nfs3_aux.lookup3resfail
      | `nfs3err_toosmall of Nfs3_aux.lookup3resfail
      | `nfs3err_xdev of Nfs3_aux.lookup3resfail ]
  and access3resok = {
    mutable access_obj_attributes_ok : Nfs3_aux.post_op_attr;
    mutable access_rights_ok : Nfs3_aux.uint32;
  }
  and access3resfail = {
    mutable access_obj_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and access3res =
      [ `nfs3_ok of Nfs3_aux.access3resok
      | `nfs3err_acces of Nfs3_aux.access3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.access3resfail
      | `nfs3err_badhandle of Nfs3_aux.access3resfail
      | `nfs3err_badtype of Nfs3_aux.access3resfail
      | `nfs3err_dquot of Nfs3_aux.access3resfail
      | `nfs3err_exist of Nfs3_aux.access3resfail
      | `nfs3err_fbig of Nfs3_aux.access3resfail
      | `nfs3err_inval of Nfs3_aux.access3resfail
      | `nfs3err_io of Nfs3_aux.access3resfail
      | `nfs3err_isdir of Nfs3_aux.access3resfail
      | `nfs3err_jukebox of Nfs3_aux.access3resfail
      | `nfs3err_mlink of Nfs3_aux.access3resfail
      | `nfs3err_nametoolong of Nfs3_aux.access3resfail
      | `nfs3err_nodev of Nfs3_aux.access3resfail
      | `nfs3err_noent of Nfs3_aux.access3resfail
      | `nfs3err_nospc of Nfs3_aux.access3resfail
      | `nfs3err_not_sync of Nfs3_aux.access3resfail
      | `nfs3err_notdir of Nfs3_aux.access3resfail
      | `nfs3err_notempty of Nfs3_aux.access3resfail
      | `nfs3err_notsupp of Nfs3_aux.access3resfail
      | `nfs3err_nxio of Nfs3_aux.access3resfail
      | `nfs3err_perm of Nfs3_aux.access3resfail
      | `nfs3err_remote of Nfs3_aux.access3resfail
      | `nfs3err_rofs of Nfs3_aux.access3resfail
      | `nfs3err_serverfault of Nfs3_aux.access3resfail
      | `nfs3err_stale of Nfs3_aux.access3resfail
      | `nfs3err_toosmall of Nfs3_aux.access3resfail
      | `nfs3err_xdev of Nfs3_aux.access3resfail ]
  and readlink3resok = {
    mutable readlink_symlink_attributes_ok : Nfs3_aux.post_op_attr;
    mutable readlink_data : Nfs3_aux.nfspath3;
  }
  and readlink3resfail = {
    mutable readlink_symlink_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and readlink3res =
      [ `nfs3_ok of Nfs3_aux.readlink3resok
      | `nfs3err_acces of Nfs3_aux.readlink3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.readlink3resfail
      | `nfs3err_badhandle of Nfs3_aux.readlink3resfail
      | `nfs3err_badtype of Nfs3_aux.readlink3resfail
      | `nfs3err_dquot of Nfs3_aux.readlink3resfail
      | `nfs3err_exist of Nfs3_aux.readlink3resfail
      | `nfs3err_fbig of Nfs3_aux.readlink3resfail
      | `nfs3err_inval of Nfs3_aux.readlink3resfail
      | `nfs3err_io of Nfs3_aux.readlink3resfail
      | `nfs3err_isdir of Nfs3_aux.readlink3resfail
      | `nfs3err_jukebox of Nfs3_aux.readlink3resfail
      | `nfs3err_mlink of Nfs3_aux.readlink3resfail
      | `nfs3err_nametoolong of Nfs3_aux.readlink3resfail
      | `nfs3err_nodev of Nfs3_aux.readlink3resfail
      | `nfs3err_noent of Nfs3_aux.readlink3resfail
      | `nfs3err_nospc of Nfs3_aux.readlink3resfail
      | `nfs3err_not_sync of Nfs3_aux.readlink3resfail
      | `nfs3err_notdir of Nfs3_aux.readlink3resfail
      | `nfs3err_notempty of Nfs3_aux.readlink3resfail
      | `nfs3err_notsupp of Nfs3_aux.readlink3resfail
      | `nfs3err_nxio of Nfs3_aux.readlink3resfail
      | `nfs3err_perm of Nfs3_aux.readlink3resfail
      | `nfs3err_remote of Nfs3_aux.readlink3resfail
      | `nfs3err_rofs of Nfs3_aux.readlink3resfail
      | `nfs3err_serverfault of Nfs3_aux.readlink3resfail
      | `nfs3err_stale of Nfs3_aux.readlink3resfail
      | `nfs3err_toosmall of Nfs3_aux.readlink3resfail
      | `nfs3err_xdev of Nfs3_aux.readlink3resfail ]
  and read3resok = {
    mutable read_file_attributes_ok : Nfs3_aux.post_op_attr;
    mutable read_count_ok : Nfs3_aux.count3;
    mutable read_eof : bool;
    mutable read_data : Xdr_mstring.mstring;
  }
  and read3resfail = {
    mutable read_file_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and read3res =
      [ `nfs3_ok of Nfs3_aux.read3resok
      | `nfs3err_acces of Nfs3_aux.read3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.read3resfail
      | `nfs3err_badhandle of Nfs3_aux.read3resfail
      | `nfs3err_badtype of Nfs3_aux.read3resfail
      | `nfs3err_dquot of Nfs3_aux.read3resfail
      | `nfs3err_exist of Nfs3_aux.read3resfail
      | `nfs3err_fbig of Nfs3_aux.read3resfail
      | `nfs3err_inval of Nfs3_aux.read3resfail
      | `nfs3err_io of Nfs3_aux.read3resfail
      | `nfs3err_isdir of Nfs3_aux.read3resfail
      | `nfs3err_jukebox of Nfs3_aux.read3resfail
      | `nfs3err_mlink of Nfs3_aux.read3resfail
      | `nfs3err_nametoolong of Nfs3_aux.read3resfail
      | `nfs3err_nodev of Nfs3_aux.read3resfail
      | `nfs3err_noent of Nfs3_aux.read3resfail
      | `nfs3err_nospc of Nfs3_aux.read3resfail
      | `nfs3err_not_sync of Nfs3_aux.read3resfail
      | `nfs3err_notdir of Nfs3_aux.read3resfail
      | `nfs3err_notempty of Nfs3_aux.read3resfail
      | `nfs3err_notsupp of Nfs3_aux.read3resfail
      | `nfs3err_nxio of Nfs3_aux.read3resfail
      | `nfs3err_perm of Nfs3_aux.read3resfail
      | `nfs3err_remote of Nfs3_aux.read3resfail
      | `nfs3err_rofs of Nfs3_aux.read3resfail
      | `nfs3err_serverfault of Nfs3_aux.read3resfail
      | `nfs3err_stale of Nfs3_aux.read3resfail
      | `nfs3err_toosmall of Nfs3_aux.read3resfail
      | `nfs3err_xdev of Nfs3_aux.read3resfail ]
  and stable_how_enum = Rtypes.int4
  and stable_how = [ `data_sync | `file_sync | `unstable ]
  and write3resok = {
    mutable write_file_wcc_ok : Nfs3_aux.wcc_data;
    mutable write_count_ok : Nfs3_aux.count3;
    mutable write_committed : Nfs3_aux.stable_how;
    mutable write_verf : Nfs3_aux.writeverf3;
  }
  and write3resfail = { mutable write_file_wcc_fail : Nfs3_aux.wcc_data; }
  and write3res =
      [ `nfs3_ok of Nfs3_aux.write3resok
      | `nfs3err_acces of Nfs3_aux.write3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.write3resfail
      | `nfs3err_badhandle of Nfs3_aux.write3resfail
      | `nfs3err_badtype of Nfs3_aux.write3resfail
      | `nfs3err_dquot of Nfs3_aux.write3resfail
      | `nfs3err_exist of Nfs3_aux.write3resfail
      | `nfs3err_fbig of Nfs3_aux.write3resfail
      | `nfs3err_inval of Nfs3_aux.write3resfail
      | `nfs3err_io of Nfs3_aux.write3resfail
      | `nfs3err_isdir of Nfs3_aux.write3resfail
      | `nfs3err_jukebox of Nfs3_aux.write3resfail
      | `nfs3err_mlink of Nfs3_aux.write3resfail
      | `nfs3err_nametoolong of Nfs3_aux.write3resfail
      | `nfs3err_nodev of Nfs3_aux.write3resfail
      | `nfs3err_noent of Nfs3_aux.write3resfail
      | `nfs3err_nospc of Nfs3_aux.write3resfail
      | `nfs3err_not_sync of Nfs3_aux.write3resfail
      | `nfs3err_notdir of Nfs3_aux.write3resfail
      | `nfs3err_notempty of Nfs3_aux.write3resfail
      | `nfs3err_notsupp of Nfs3_aux.write3resfail
      | `nfs3err_nxio of Nfs3_aux.write3resfail
      | `nfs3err_perm of Nfs3_aux.write3resfail
      | `nfs3err_remote of Nfs3_aux.write3resfail
      | `nfs3err_rofs of Nfs3_aux.write3resfail
      | `nfs3err_serverfault of Nfs3_aux.write3resfail
      | `nfs3err_stale of Nfs3_aux.write3resfail
      | `nfs3err_toosmall of Nfs3_aux.write3resfail
      | `nfs3err_xdev of Nfs3_aux.write3resfail ]
  and createmode3 = Rtypes.int4
  and createhow3 =
      [ `exclusive of Nfs3_aux.createverf3
      | `guarded of Nfs3_aux.sattr3
      | `unchecked of Nfs3_aux.sattr3 ]
  and create3resok = {
    mutable create_obj : Nfs3_aux.post_op_fh3;
    mutable create_obj_attributes : Nfs3_aux.post_op_attr;
    mutable create_dir_wcc_ok : Nfs3_aux.wcc_data;
  }
  and create3resfail = { mutable create_dir_wcc_fail : Nfs3_aux.wcc_data; }
  and create3res =
      [ `nfs3_ok of Nfs3_aux.create3resok
      | `nfs3err_acces of Nfs3_aux.create3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.create3resfail
      | `nfs3err_badhandle of Nfs3_aux.create3resfail
      | `nfs3err_badtype of Nfs3_aux.create3resfail
      | `nfs3err_dquot of Nfs3_aux.create3resfail
      | `nfs3err_exist of Nfs3_aux.create3resfail
      | `nfs3err_fbig of Nfs3_aux.create3resfail
      | `nfs3err_inval of Nfs3_aux.create3resfail
      | `nfs3err_io of Nfs3_aux.create3resfail
      | `nfs3err_isdir of Nfs3_aux.create3resfail
      | `nfs3err_jukebox of Nfs3_aux.create3resfail
      | `nfs3err_mlink of Nfs3_aux.create3resfail
      | `nfs3err_nametoolong of Nfs3_aux.create3resfail
      | `nfs3err_nodev of Nfs3_aux.create3resfail
      | `nfs3err_noent of Nfs3_aux.create3resfail
      | `nfs3err_nospc of Nfs3_aux.create3resfail
      | `nfs3err_not_sync of Nfs3_aux.create3resfail
      | `nfs3err_notdir of Nfs3_aux.create3resfail
      | `nfs3err_notempty of Nfs3_aux.create3resfail
      | `nfs3err_notsupp of Nfs3_aux.create3resfail
      | `nfs3err_nxio of Nfs3_aux.create3resfail
      | `nfs3err_perm of Nfs3_aux.create3resfail
      | `nfs3err_remote of Nfs3_aux.create3resfail
      | `nfs3err_rofs of Nfs3_aux.create3resfail
      | `nfs3err_serverfault of Nfs3_aux.create3resfail
      | `nfs3err_stale of Nfs3_aux.create3resfail
      | `nfs3err_toosmall of Nfs3_aux.create3resfail
      | `nfs3err_xdev of Nfs3_aux.create3resfail ]
  and mkdir3resok = {
    mutable mkdir_obj : Nfs3_aux.post_op_fh3;
    mutable mkdir_obj_attributes : Nfs3_aux.post_op_attr;
    mutable mkdir_dir_wcc_ok : Nfs3_aux.wcc_data;
  }
  and mkdir3resfail = { mutable mkdir_dir_wcc_fail : Nfs3_aux.wcc_data; }
  and mkdir3res =
      [ `nfs3_ok of Nfs3_aux.mkdir3resok
      | `nfs3err_acces of Nfs3_aux.mkdir3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.mkdir3resfail
      | `nfs3err_badhandle of Nfs3_aux.mkdir3resfail
      | `nfs3err_badtype of Nfs3_aux.mkdir3resfail
      | `nfs3err_dquot of Nfs3_aux.mkdir3resfail
      | `nfs3err_exist of Nfs3_aux.mkdir3resfail
      | `nfs3err_fbig of Nfs3_aux.mkdir3resfail
      | `nfs3err_inval of Nfs3_aux.mkdir3resfail
      | `nfs3err_io of Nfs3_aux.mkdir3resfail
      | `nfs3err_isdir of Nfs3_aux.mkdir3resfail
      | `nfs3err_jukebox of Nfs3_aux.mkdir3resfail
      | `nfs3err_mlink of Nfs3_aux.mkdir3resfail
      | `nfs3err_nametoolong of Nfs3_aux.mkdir3resfail
      | `nfs3err_nodev of Nfs3_aux.mkdir3resfail
      | `nfs3err_noent of Nfs3_aux.mkdir3resfail
      | `nfs3err_nospc of Nfs3_aux.mkdir3resfail
      | `nfs3err_not_sync of Nfs3_aux.mkdir3resfail
      | `nfs3err_notdir of Nfs3_aux.mkdir3resfail
      | `nfs3err_notempty of Nfs3_aux.mkdir3resfail
      | `nfs3err_notsupp of Nfs3_aux.mkdir3resfail
      | `nfs3err_nxio of Nfs3_aux.mkdir3resfail
      | `nfs3err_perm of Nfs3_aux.mkdir3resfail
      | `nfs3err_remote of Nfs3_aux.mkdir3resfail
      | `nfs3err_rofs of Nfs3_aux.mkdir3resfail
      | `nfs3err_serverfault of Nfs3_aux.mkdir3resfail
      | `nfs3err_stale of Nfs3_aux.mkdir3resfail
      | `nfs3err_toosmall of Nfs3_aux.mkdir3resfail
      | `nfs3err_xdev of Nfs3_aux.mkdir3resfail ]
  and symlinkdata3 = {
    mutable symlink_attributes : Nfs3_aux.sattr3;
    mutable symlink_path : Nfs3_aux.nfspath3;
  }
  and symlink3resok = {
    mutable symlink_obj : Nfs3_aux.post_op_fh3;
    mutable symlink_obj_attributes : Nfs3_aux.post_op_attr;
    mutable symlink_dir_wcc_ok : Nfs3_aux.wcc_data;
  }
  and symlink3resfail = { mutable symlink_dir_wcc_fail : Nfs3_aux.wcc_data; }
  and symlink3res =
      [ `nfs3_ok of Nfs3_aux.symlink3resok
      | `nfs3err_acces of Nfs3_aux.symlink3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.symlink3resfail
      | `nfs3err_badhandle of Nfs3_aux.symlink3resfail
      | `nfs3err_badtype of Nfs3_aux.symlink3resfail
      | `nfs3err_dquot of Nfs3_aux.symlink3resfail
      | `nfs3err_exist of Nfs3_aux.symlink3resfail
      | `nfs3err_fbig of Nfs3_aux.symlink3resfail
      | `nfs3err_inval of Nfs3_aux.symlink3resfail
      | `nfs3err_io of Nfs3_aux.symlink3resfail
      | `nfs3err_isdir of Nfs3_aux.symlink3resfail
      | `nfs3err_jukebox of Nfs3_aux.symlink3resfail
      | `nfs3err_mlink of Nfs3_aux.symlink3resfail
      | `nfs3err_nametoolong of Nfs3_aux.symlink3resfail
      | `nfs3err_nodev of Nfs3_aux.symlink3resfail
      | `nfs3err_noent of Nfs3_aux.symlink3resfail
      | `nfs3err_nospc of Nfs3_aux.symlink3resfail
      | `nfs3err_not_sync of Nfs3_aux.symlink3resfail
      | `nfs3err_notdir of Nfs3_aux.symlink3resfail
      | `nfs3err_notempty of Nfs3_aux.symlink3resfail
      | `nfs3err_notsupp of Nfs3_aux.symlink3resfail
      | `nfs3err_nxio of Nfs3_aux.symlink3resfail
      | `nfs3err_perm of Nfs3_aux.symlink3resfail
      | `nfs3err_remote of Nfs3_aux.symlink3resfail
      | `nfs3err_rofs of Nfs3_aux.symlink3resfail
      | `nfs3err_serverfault of Nfs3_aux.symlink3resfail
      | `nfs3err_stale of Nfs3_aux.symlink3resfail
      | `nfs3err_toosmall of Nfs3_aux.symlink3resfail
      | `nfs3err_xdev of Nfs3_aux.symlink3resfail ]
  and devicedata3 = {
    mutable dev_attributes : Nfs3_aux.sattr3;
    mutable spec : Nfs3_aux.specdata3;
  }
  and mknoddata3 =
      [ `nf3blk of Nfs3_aux.devicedata3
      | `nf3chr of Nfs3_aux.devicedata3
      | `nf3dir
      | `nf3fifo of Nfs3_aux.sattr3
      | `nf3lnk
      | `nf3reg
      | `nf3sock of Nfs3_aux.sattr3 ]
  and mknod3resok = {
    mutable mknod_obj : Nfs3_aux.post_op_fh3;
    mutable mknod_obj_attributes : Nfs3_aux.post_op_attr;
    mutable mknod_dir_wcc_ok : Nfs3_aux.wcc_data;
  }
  and mknod3resfail = { mutable mknod_dir_wcc_fail : Nfs3_aux.wcc_data; }
  and mknod3res =
      [ `nfs3_ok of Nfs3_aux.mknod3resok
      | `nfs3err_acces of Nfs3_aux.mknod3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.mknod3resfail
      | `nfs3err_badhandle of Nfs3_aux.mknod3resfail
      | `nfs3err_badtype of Nfs3_aux.mknod3resfail
      | `nfs3err_dquot of Nfs3_aux.mknod3resfail
      | `nfs3err_exist of Nfs3_aux.mknod3resfail
      | `nfs3err_fbig of Nfs3_aux.mknod3resfail
      | `nfs3err_inval of Nfs3_aux.mknod3resfail
      | `nfs3err_io of Nfs3_aux.mknod3resfail
      | `nfs3err_isdir of Nfs3_aux.mknod3resfail
      | `nfs3err_jukebox of Nfs3_aux.mknod3resfail
      | `nfs3err_mlink of Nfs3_aux.mknod3resfail
      | `nfs3err_nametoolong of Nfs3_aux.mknod3resfail
      | `nfs3err_nodev of Nfs3_aux.mknod3resfail
      | `nfs3err_noent of Nfs3_aux.mknod3resfail
      | `nfs3err_nospc of Nfs3_aux.mknod3resfail
      | `nfs3err_not_sync of Nfs3_aux.mknod3resfail
      | `nfs3err_notdir of Nfs3_aux.mknod3resfail
      | `nfs3err_notempty of Nfs3_aux.mknod3resfail
      | `nfs3err_notsupp of Nfs3_aux.mknod3resfail
      | `nfs3err_nxio of Nfs3_aux.mknod3resfail
      | `nfs3err_perm of Nfs3_aux.mknod3resfail
      | `nfs3err_remote of Nfs3_aux.mknod3resfail
      | `nfs3err_rofs of Nfs3_aux.mknod3resfail
      | `nfs3err_serverfault of Nfs3_aux.mknod3resfail
      | `nfs3err_stale of Nfs3_aux.mknod3resfail
      | `nfs3err_toosmall of Nfs3_aux.mknod3resfail
      | `nfs3err_xdev of Nfs3_aux.mknod3resfail ]
  and remove3resok = { mutable remove_dir_wcc_ok : Nfs3_aux.wcc_data; }
  and remove3resfail = { mutable remove_dir_wcc_fail : Nfs3_aux.wcc_data; }
  and remove3res =
      [ `nfs3_ok of Nfs3_aux.remove3resok
      | `nfs3err_acces of Nfs3_aux.remove3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.remove3resfail
      | `nfs3err_badhandle of Nfs3_aux.remove3resfail
      | `nfs3err_badtype of Nfs3_aux.remove3resfail
      | `nfs3err_dquot of Nfs3_aux.remove3resfail
      | `nfs3err_exist of Nfs3_aux.remove3resfail
      | `nfs3err_fbig of Nfs3_aux.remove3resfail
      | `nfs3err_inval of Nfs3_aux.remove3resfail
      | `nfs3err_io of Nfs3_aux.remove3resfail
      | `nfs3err_isdir of Nfs3_aux.remove3resfail
      | `nfs3err_jukebox of Nfs3_aux.remove3resfail
      | `nfs3err_mlink of Nfs3_aux.remove3resfail
      | `nfs3err_nametoolong of Nfs3_aux.remove3resfail
      | `nfs3err_nodev of Nfs3_aux.remove3resfail
      | `nfs3err_noent of Nfs3_aux.remove3resfail
      | `nfs3err_nospc of Nfs3_aux.remove3resfail
      | `nfs3err_not_sync of Nfs3_aux.remove3resfail
      | `nfs3err_notdir of Nfs3_aux.remove3resfail
      | `nfs3err_notempty of Nfs3_aux.remove3resfail
      | `nfs3err_notsupp of Nfs3_aux.remove3resfail
      | `nfs3err_nxio of Nfs3_aux.remove3resfail
      | `nfs3err_perm of Nfs3_aux.remove3resfail
      | `nfs3err_remote of Nfs3_aux.remove3resfail
      | `nfs3err_rofs of Nfs3_aux.remove3resfail
      | `nfs3err_serverfault of Nfs3_aux.remove3resfail
      | `nfs3err_stale of Nfs3_aux.remove3resfail
      | `nfs3err_toosmall of Nfs3_aux.remove3resfail
      | `nfs3err_xdev of Nfs3_aux.remove3resfail ]
  and rmdir3resok = { mutable rmdir_dir_wcc_ok : Nfs3_aux.wcc_data; }
  and rmdir3resfail = { mutable rmdir_dir_wcc_fail : Nfs3_aux.wcc_data; }
  and rmdir3res =
      [ `nfs3_ok of Nfs3_aux.rmdir3resok
      | `nfs3err_acces of Nfs3_aux.rmdir3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.rmdir3resfail
      | `nfs3err_badhandle of Nfs3_aux.rmdir3resfail
      | `nfs3err_badtype of Nfs3_aux.rmdir3resfail
      | `nfs3err_dquot of Nfs3_aux.rmdir3resfail
      | `nfs3err_exist of Nfs3_aux.rmdir3resfail
      | `nfs3err_fbig of Nfs3_aux.rmdir3resfail
      | `nfs3err_inval of Nfs3_aux.rmdir3resfail
      | `nfs3err_io of Nfs3_aux.rmdir3resfail
      | `nfs3err_isdir of Nfs3_aux.rmdir3resfail
      | `nfs3err_jukebox of Nfs3_aux.rmdir3resfail
      | `nfs3err_mlink of Nfs3_aux.rmdir3resfail
      | `nfs3err_nametoolong of Nfs3_aux.rmdir3resfail
      | `nfs3err_nodev of Nfs3_aux.rmdir3resfail
      | `nfs3err_noent of Nfs3_aux.rmdir3resfail
      | `nfs3err_nospc of Nfs3_aux.rmdir3resfail
      | `nfs3err_not_sync of Nfs3_aux.rmdir3resfail
      | `nfs3err_notdir of Nfs3_aux.rmdir3resfail
      | `nfs3err_notempty of Nfs3_aux.rmdir3resfail
      | `nfs3err_notsupp of Nfs3_aux.rmdir3resfail
      | `nfs3err_nxio of Nfs3_aux.rmdir3resfail
      | `nfs3err_perm of Nfs3_aux.rmdir3resfail
      | `nfs3err_remote of Nfs3_aux.rmdir3resfail
      | `nfs3err_rofs of Nfs3_aux.rmdir3resfail
      | `nfs3err_serverfault of Nfs3_aux.rmdir3resfail
      | `nfs3err_stale of Nfs3_aux.rmdir3resfail
      | `nfs3err_toosmall of Nfs3_aux.rmdir3resfail
      | `nfs3err_xdev of Nfs3_aux.rmdir3resfail ]
  and rename3resok = {
    mutable rename_fromdir_wcc_ok : Nfs3_aux.wcc_data;
    mutable rename_todir_wcc_ok : Nfs3_aux.wcc_data;
  }
  and rename3resfail = {
    mutable rename_fromdir_wcc_fail : Nfs3_aux.wcc_data;
    mutable rename_todir_wcc_fail : Nfs3_aux.wcc_data;
  }
  and rename3res =
      [ `nfs3_ok of Nfs3_aux.rename3resok
      | `nfs3err_acces of Nfs3_aux.rename3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.rename3resfail
      | `nfs3err_badhandle of Nfs3_aux.rename3resfail
      | `nfs3err_badtype of Nfs3_aux.rename3resfail
      | `nfs3err_dquot of Nfs3_aux.rename3resfail
      | `nfs3err_exist of Nfs3_aux.rename3resfail
      | `nfs3err_fbig of Nfs3_aux.rename3resfail
      | `nfs3err_inval of Nfs3_aux.rename3resfail
      | `nfs3err_io of Nfs3_aux.rename3resfail
      | `nfs3err_isdir of Nfs3_aux.rename3resfail
      | `nfs3err_jukebox of Nfs3_aux.rename3resfail
      | `nfs3err_mlink of Nfs3_aux.rename3resfail
      | `nfs3err_nametoolong of Nfs3_aux.rename3resfail
      | `nfs3err_nodev of Nfs3_aux.rename3resfail
      | `nfs3err_noent of Nfs3_aux.rename3resfail
      | `nfs3err_nospc of Nfs3_aux.rename3resfail
      | `nfs3err_not_sync of Nfs3_aux.rename3resfail
      | `nfs3err_notdir of Nfs3_aux.rename3resfail
      | `nfs3err_notempty of Nfs3_aux.rename3resfail
      | `nfs3err_notsupp of Nfs3_aux.rename3resfail
      | `nfs3err_nxio of Nfs3_aux.rename3resfail
      | `nfs3err_perm of Nfs3_aux.rename3resfail
      | `nfs3err_remote of Nfs3_aux.rename3resfail
      | `nfs3err_rofs of Nfs3_aux.rename3resfail
      | `nfs3err_serverfault of Nfs3_aux.rename3resfail
      | `nfs3err_stale of Nfs3_aux.rename3resfail
      | `nfs3err_toosmall of Nfs3_aux.rename3resfail
      | `nfs3err_xdev of Nfs3_aux.rename3resfail ]
  and link3resok = {
    mutable link_file_attributes_ok : Nfs3_aux.post_op_attr;
    mutable linkdir_wcc_ok : Nfs3_aux.wcc_data;
  }
  and link3resfail = {
    mutable link_file_attributes_fail : Nfs3_aux.post_op_attr;
    mutable linkdir_wcc_fail : Nfs3_aux.wcc_data;
  }
  and link3res =
      [ `nfs3_ok of Nfs3_aux.link3resok
      | `nfs3err_acces of Nfs3_aux.link3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.link3resfail
      | `nfs3err_badhandle of Nfs3_aux.link3resfail
      | `nfs3err_badtype of Nfs3_aux.link3resfail
      | `nfs3err_dquot of Nfs3_aux.link3resfail
      | `nfs3err_exist of Nfs3_aux.link3resfail
      | `nfs3err_fbig of Nfs3_aux.link3resfail
      | `nfs3err_inval of Nfs3_aux.link3resfail
      | `nfs3err_io of Nfs3_aux.link3resfail
      | `nfs3err_isdir of Nfs3_aux.link3resfail
      | `nfs3err_jukebox of Nfs3_aux.link3resfail
      | `nfs3err_mlink of Nfs3_aux.link3resfail
      | `nfs3err_nametoolong of Nfs3_aux.link3resfail
      | `nfs3err_nodev of Nfs3_aux.link3resfail
      | `nfs3err_noent of Nfs3_aux.link3resfail
      | `nfs3err_nospc of Nfs3_aux.link3resfail
      | `nfs3err_not_sync of Nfs3_aux.link3resfail
      | `nfs3err_notdir of Nfs3_aux.link3resfail
      | `nfs3err_notempty of Nfs3_aux.link3resfail
      | `nfs3err_notsupp of Nfs3_aux.link3resfail
      | `nfs3err_nxio of Nfs3_aux.link3resfail
      | `nfs3err_perm of Nfs3_aux.link3resfail
      | `nfs3err_remote of Nfs3_aux.link3resfail
      | `nfs3err_rofs of Nfs3_aux.link3resfail
      | `nfs3err_serverfault of Nfs3_aux.link3resfail
      | `nfs3err_stale of Nfs3_aux.link3resfail
      | `nfs3err_toosmall of Nfs3_aux.link3resfail
      | `nfs3err_xdev of Nfs3_aux.link3resfail ]
  and entry3 = {
    mutable entry_fileid : Nfs3_aux.fileid3;
    mutable entry_name : Nfs3_aux.filename3;
    mutable entry_cookie : Nfs3_aux.cookie3;
    mutable entry_nextentry : Nfs3_aux.entry3 option;
  }
  and dirlist3 = {
    mutable dl_entries : Nfs3_aux.entry3 option;
    mutable dl_eof : bool;
  }
  and readdir3resok = {
    mutable readdir_dir_attributes_ok : Nfs3_aux.post_op_attr;
    mutable readdir_cookieverf_ok : Nfs3_aux.cookieverf3;
    mutable readdir_reply : Nfs3_aux.dirlist3;
  }
  and readdir3resfail = {
    mutable readdir_dir_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and readdir3res =
      [ `nfs3_ok of Nfs3_aux.readdir3resok
      | `nfs3err_acces of Nfs3_aux.readdir3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.readdir3resfail
      | `nfs3err_badhandle of Nfs3_aux.readdir3resfail
      | `nfs3err_badtype of Nfs3_aux.readdir3resfail
      | `nfs3err_dquot of Nfs3_aux.readdir3resfail
      | `nfs3err_exist of Nfs3_aux.readdir3resfail
      | `nfs3err_fbig of Nfs3_aux.readdir3resfail
      | `nfs3err_inval of Nfs3_aux.readdir3resfail
      | `nfs3err_io of Nfs3_aux.readdir3resfail
      | `nfs3err_isdir of Nfs3_aux.readdir3resfail
      | `nfs3err_jukebox of Nfs3_aux.readdir3resfail
      | `nfs3err_mlink of Nfs3_aux.readdir3resfail
      | `nfs3err_nametoolong of Nfs3_aux.readdir3resfail
      | `nfs3err_nodev of Nfs3_aux.readdir3resfail
      | `nfs3err_noent of Nfs3_aux.readdir3resfail
      | `nfs3err_nospc of Nfs3_aux.readdir3resfail
      | `nfs3err_not_sync of Nfs3_aux.readdir3resfail
      | `nfs3err_notdir of Nfs3_aux.readdir3resfail
      | `nfs3err_notempty of Nfs3_aux.readdir3resfail
      | `nfs3err_notsupp of Nfs3_aux.readdir3resfail
      | `nfs3err_nxio of Nfs3_aux.readdir3resfail
      | `nfs3err_perm of Nfs3_aux.readdir3resfail
      | `nfs3err_remote of Nfs3_aux.readdir3resfail
      | `nfs3err_rofs of Nfs3_aux.readdir3resfail
      | `nfs3err_serverfault of Nfs3_aux.readdir3resfail
      | `nfs3err_stale of Nfs3_aux.readdir3resfail
      | `nfs3err_toosmall of Nfs3_aux.readdir3resfail
      | `nfs3err_xdev of Nfs3_aux.readdir3resfail ]
  and entryplus3 = {
    mutable entryp_fileid : Nfs3_aux.fileid3;
    mutable entryp_name : Nfs3_aux.filename3;
    mutable entryp_cookie : Nfs3_aux.cookie3;
    mutable entryp_name_attributes : Nfs3_aux.post_op_attr;
    mutable entryp_name_handle : Nfs3_aux.post_op_fh3;
    mutable entryp_nextentry : Nfs3_aux.entryplus3 option;
  }
  and dirlistplus3 = {
    mutable dlp_entries : Nfs3_aux.entryplus3 option;
    mutable dlp_eof : bool;
  }
  and readdirplus3resok = {
    mutable readdirp_dir_attributes_ok : Nfs3_aux.post_op_attr;
    mutable readdirp_cookieverf_ok : Nfs3_aux.cookieverf3;
    mutable readdirp_reply : Nfs3_aux.dirlistplus3;
  }
  and readdirplus3resfail = {
    mutable readdirp_dir_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and readdirplus3res =
      [ `nfs3_ok of Nfs3_aux.readdirplus3resok
      | `nfs3err_acces of Nfs3_aux.readdirplus3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.readdirplus3resfail
      | `nfs3err_badhandle of Nfs3_aux.readdirplus3resfail
      | `nfs3err_badtype of Nfs3_aux.readdirplus3resfail
      | `nfs3err_dquot of Nfs3_aux.readdirplus3resfail
      | `nfs3err_exist of Nfs3_aux.readdirplus3resfail
      | `nfs3err_fbig of Nfs3_aux.readdirplus3resfail
      | `nfs3err_inval of Nfs3_aux.readdirplus3resfail
      | `nfs3err_io of Nfs3_aux.readdirplus3resfail
      | `nfs3err_isdir of Nfs3_aux.readdirplus3resfail
      | `nfs3err_jukebox of Nfs3_aux.readdirplus3resfail
      | `nfs3err_mlink of Nfs3_aux.readdirplus3resfail
      | `nfs3err_nametoolong of Nfs3_aux.readdirplus3resfail
      | `nfs3err_nodev of Nfs3_aux.readdirplus3resfail
      | `nfs3err_noent of Nfs3_aux.readdirplus3resfail
      | `nfs3err_nospc of Nfs3_aux.readdirplus3resfail
      | `nfs3err_not_sync of Nfs3_aux.readdirplus3resfail
      | `nfs3err_notdir of Nfs3_aux.readdirplus3resfail
      | `nfs3err_notempty of Nfs3_aux.readdirplus3resfail
      | `nfs3err_notsupp of Nfs3_aux.readdirplus3resfail
      | `nfs3err_nxio of Nfs3_aux.readdirplus3resfail
      | `nfs3err_perm of Nfs3_aux.readdirplus3resfail
      | `nfs3err_remote of Nfs3_aux.readdirplus3resfail
      | `nfs3err_rofs of Nfs3_aux.readdirplus3resfail
      | `nfs3err_serverfault of Nfs3_aux.readdirplus3resfail
      | `nfs3err_stale of Nfs3_aux.readdirplus3resfail
      | `nfs3err_toosmall of Nfs3_aux.readdirplus3resfail
      | `nfs3err_xdev of Nfs3_aux.readdirplus3resfail ]
  and fsstat3resok = {
    mutable fsstat_obj_attributes_ok : Nfs3_aux.post_op_attr;
    mutable fsstat_tbytes : Nfs3_aux.size3;
    mutable fsstat_fbytes : Nfs3_aux.size3;
    mutable fsstat_abytes : Nfs3_aux.size3;
    mutable fsstat_tfiles : Nfs3_aux.size3;
    mutable fsstat_ffiles : Nfs3_aux.size3;
    mutable fsstat_afiles : Nfs3_aux.size3;
    mutable fsstat_invarsec : Nfs3_aux.uint32;
  }
  and fsstat3resfail = {
    mutable fsstat_obj_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and fsstat3res =
      [ `nfs3_ok of Nfs3_aux.fsstat3resok
      | `nfs3err_acces of Nfs3_aux.fsstat3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.fsstat3resfail
      | `nfs3err_badhandle of Nfs3_aux.fsstat3resfail
      | `nfs3err_badtype of Nfs3_aux.fsstat3resfail
      | `nfs3err_dquot of Nfs3_aux.fsstat3resfail
      | `nfs3err_exist of Nfs3_aux.fsstat3resfail
      | `nfs3err_fbig of Nfs3_aux.fsstat3resfail
      | `nfs3err_inval of Nfs3_aux.fsstat3resfail
      | `nfs3err_io of Nfs3_aux.fsstat3resfail
      | `nfs3err_isdir of Nfs3_aux.fsstat3resfail
      | `nfs3err_jukebox of Nfs3_aux.fsstat3resfail
      | `nfs3err_mlink of Nfs3_aux.fsstat3resfail
      | `nfs3err_nametoolong of Nfs3_aux.fsstat3resfail
      | `nfs3err_nodev of Nfs3_aux.fsstat3resfail
      | `nfs3err_noent of Nfs3_aux.fsstat3resfail
      | `nfs3err_nospc of Nfs3_aux.fsstat3resfail
      | `nfs3err_not_sync of Nfs3_aux.fsstat3resfail
      | `nfs3err_notdir of Nfs3_aux.fsstat3resfail
      | `nfs3err_notempty of Nfs3_aux.fsstat3resfail
      | `nfs3err_notsupp of Nfs3_aux.fsstat3resfail
      | `nfs3err_nxio of Nfs3_aux.fsstat3resfail
      | `nfs3err_perm of Nfs3_aux.fsstat3resfail
      | `nfs3err_remote of Nfs3_aux.fsstat3resfail
      | `nfs3err_rofs of Nfs3_aux.fsstat3resfail
      | `nfs3err_serverfault of Nfs3_aux.fsstat3resfail
      | `nfs3err_stale of Nfs3_aux.fsstat3resfail
      | `nfs3err_toosmall of Nfs3_aux.fsstat3resfail
      | `nfs3err_xdev of Nfs3_aux.fsstat3resfail ]
  and fsinfo3resok = {
    mutable fsinfo_obj_attributes_ok : Nfs3_aux.post_op_attr;
    mutable fsinfo_rtmax : Nfs3_aux.uint32;
    mutable fsinfo_rtpref : Nfs3_aux.uint32;
    mutable fsinfo_rtmult : Nfs3_aux.uint32;
    mutable fsinfo_wtmax : Nfs3_aux.uint32;
    mutable fsinfo_wtpref : Nfs3_aux.uint32;
    mutable fsinfo_wtmult : Nfs3_aux.uint32;
    mutable fsinfo_dtpref : Nfs3_aux.uint32;
    mutable fsinfo_maxfilesize : Nfs3_aux.size3;
    mutable fsinfo_time_delta : Nfs3_aux.nfstime3;
    mutable fsinfo_properties : Nfs3_aux.uint32;
  }
  and fsinfo3resfail = {
    mutable fsinfo_obj_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and fsinfo3res =
      [ `nfs3_ok of Nfs3_aux.fsinfo3resok
      | `nfs3err_acces of Nfs3_aux.fsinfo3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.fsinfo3resfail
      | `nfs3err_badhandle of Nfs3_aux.fsinfo3resfail
      | `nfs3err_badtype of Nfs3_aux.fsinfo3resfail
      | `nfs3err_dquot of Nfs3_aux.fsinfo3resfail
      | `nfs3err_exist of Nfs3_aux.fsinfo3resfail
      | `nfs3err_fbig of Nfs3_aux.fsinfo3resfail
      | `nfs3err_inval of Nfs3_aux.fsinfo3resfail
      | `nfs3err_io of Nfs3_aux.fsinfo3resfail
      | `nfs3err_isdir of Nfs3_aux.fsinfo3resfail
      | `nfs3err_jukebox of Nfs3_aux.fsinfo3resfail
      | `nfs3err_mlink of Nfs3_aux.fsinfo3resfail
      | `nfs3err_nametoolong of Nfs3_aux.fsinfo3resfail
      | `nfs3err_nodev of Nfs3_aux.fsinfo3resfail
      | `nfs3err_noent of Nfs3_aux.fsinfo3resfail
      | `nfs3err_nospc of Nfs3_aux.fsinfo3resfail
      | `nfs3err_not_sync of Nfs3_aux.fsinfo3resfail
      | `nfs3err_notdir of Nfs3_aux.fsinfo3resfail
      | `nfs3err_notempty of Nfs3_aux.fsinfo3resfail
      | `nfs3err_notsupp of Nfs3_aux.fsinfo3resfail
      | `nfs3err_nxio of Nfs3_aux.fsinfo3resfail
      | `nfs3err_perm of Nfs3_aux.fsinfo3resfail
      | `nfs3err_remote of Nfs3_aux.fsinfo3resfail
      | `nfs3err_rofs of Nfs3_aux.fsinfo3resfail
      | `nfs3err_serverfault of Nfs3_aux.fsinfo3resfail
      | `nfs3err_stale of Nfs3_aux.fsinfo3resfail
      | `nfs3err_toosmall of Nfs3_aux.fsinfo3resfail
      | `nfs3err_xdev of Nfs3_aux.fsinfo3resfail ]
  and pathconf3resok = {
    mutable pathconf_obj_attributes_ok : Nfs3_aux.post_op_attr;
    mutable pathconf_linkmax : Nfs3_aux.uint32;
    mutable pathconf_name_max : Nfs3_aux.uint32;
    mutable pathconf_no_trunc : bool;
    mutable pathconf_chown_restricted : bool;
    mutable pathconf_case_insensitive : bool;
    mutable pathconf_case_preserving : bool;
  }
  and pathconf3resfail = {
    mutable pathconf_obj_attributes_fail : Nfs3_aux.post_op_attr;
  }
  and pathconf3res =
      [ `nfs3_ok of Nfs3_aux.pathconf3resok
      | `nfs3err_acces of Nfs3_aux.pathconf3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.pathconf3resfail
      | `nfs3err_badhandle of Nfs3_aux.pathconf3resfail
      | `nfs3err_badtype of Nfs3_aux.pathconf3resfail
      | `nfs3err_dquot of Nfs3_aux.pathconf3resfail
      | `nfs3err_exist of Nfs3_aux.pathconf3resfail
      | `nfs3err_fbig of Nfs3_aux.pathconf3resfail
      | `nfs3err_inval of Nfs3_aux.pathconf3resfail
      | `nfs3err_io of Nfs3_aux.pathconf3resfail
      | `nfs3err_isdir of Nfs3_aux.pathconf3resfail
      | `nfs3err_jukebox of Nfs3_aux.pathconf3resfail
      | `nfs3err_mlink of Nfs3_aux.pathconf3resfail
      | `nfs3err_nametoolong of Nfs3_aux.pathconf3resfail
      | `nfs3err_nodev of Nfs3_aux.pathconf3resfail
      | `nfs3err_noent of Nfs3_aux.pathconf3resfail
      | `nfs3err_nospc of Nfs3_aux.pathconf3resfail
      | `nfs3err_not_sync of Nfs3_aux.pathconf3resfail
      | `nfs3err_notdir of Nfs3_aux.pathconf3resfail
      | `nfs3err_notempty of Nfs3_aux.pathconf3resfail
      | `nfs3err_notsupp of Nfs3_aux.pathconf3resfail
      | `nfs3err_nxio of Nfs3_aux.pathconf3resfail
      | `nfs3err_perm of Nfs3_aux.pathconf3resfail
      | `nfs3err_remote of Nfs3_aux.pathconf3resfail
      | `nfs3err_rofs of Nfs3_aux.pathconf3resfail
      | `nfs3err_serverfault of Nfs3_aux.pathconf3resfail
      | `nfs3err_stale of Nfs3_aux.pathconf3resfail
      | `nfs3err_toosmall of Nfs3_aux.pathconf3resfail
      | `nfs3err_xdev of Nfs3_aux.pathconf3resfail ]
  and commit3resok = {
    mutable commit_file_wcc_ok : Nfs3_aux.wcc_data;
    mutable commit_verf : Nfs3_aux.writeverf3;
  }
  and commit3resfail = { mutable commit_file_wcc_fail : Nfs3_aux.wcc_data; }
  and commit3res =
      [ `nfs3_ok of Nfs3_aux.commit3resok
      | `nfs3err_acces of Nfs3_aux.commit3resfail
      | `nfs3err_bad_cookie of Nfs3_aux.commit3resfail
      | `nfs3err_badhandle of Nfs3_aux.commit3resfail
      | `nfs3err_badtype of Nfs3_aux.commit3resfail
      | `nfs3err_dquot of Nfs3_aux.commit3resfail
      | `nfs3err_exist of Nfs3_aux.commit3resfail
      | `nfs3err_fbig of Nfs3_aux.commit3resfail
      | `nfs3err_inval of Nfs3_aux.commit3resfail
      | `nfs3err_io of Nfs3_aux.commit3resfail
      | `nfs3err_isdir of Nfs3_aux.commit3resfail
      | `nfs3err_jukebox of Nfs3_aux.commit3resfail
      | `nfs3err_mlink of Nfs3_aux.commit3resfail
      | `nfs3err_nametoolong of Nfs3_aux.commit3resfail
      | `nfs3err_nodev of Nfs3_aux.commit3resfail
      | `nfs3err_noent of Nfs3_aux.commit3resfail
      | `nfs3err_nospc of Nfs3_aux.commit3resfail
      | `nfs3err_not_sync of Nfs3_aux.commit3resfail
      | `nfs3err_notdir of Nfs3_aux.commit3resfail
      | `nfs3err_notempty of Nfs3_aux.commit3resfail
      | `nfs3err_notsupp of Nfs3_aux.commit3resfail
      | `nfs3err_nxio of Nfs3_aux.commit3resfail
      | `nfs3err_perm of Nfs3_aux.commit3resfail
      | `nfs3err_remote of Nfs3_aux.commit3resfail
      | `nfs3err_rofs of Nfs3_aux.commit3resfail
      | `nfs3err_serverfault of Nfs3_aux.commit3resfail
      | `nfs3err_stale of Nfs3_aux.commit3resfail
      | `nfs3err_toosmall of Nfs3_aux.commit3resfail
      | `nfs3err_xdev of Nfs3_aux.commit3resfail ]
  and dirpath = string
  and name = string
  and mountstat3 = Rtypes.int4
  and mountres3_ok = {
    mutable fhandle : Nfs3_aux.nfs_fh3;
    mutable auth_flavors : int array;
  }
  and mountres3 =
      [ `mnt3_ok of Nfs3_aux.mountres3_ok
      | `mnt3err_acces
      | `mnt3err_inval
      | `mnt3err_io
      | `mnt3err_nametoolong
      | `mnt3err_noent
      | `mnt3err_notdir
      | `mnt3err_notsupp
      | `mnt3err_perm
      | `mnt3err_serverfault ]
  and mountlist = Nfs3_aux.mountbody option
  and mountbody = {
    mutable ml_hostname : Nfs3_aux.name;
    mutable ml_directory : Nfs3_aux.dirpath;
    mutable ml_next : Nfs3_aux.mountlist;
  }
  and groups = Nfs3_aux.groupnode option
  and groupnode = {
    mutable gr_name : Nfs3_aux.name;
    mutable gr_next : Nfs3_aux.groups;
  }
  and exports = Nfs3_aux.exportnode option
  and exportnode = {
    mutable ex_dir : Nfs3_aux.dirpath;
    mutable ex_groups : Nfs3_aux.groups;
    mutable ex_next : Nfs3_aux.exports;
  }
  and t_NFS'V3'null'arg = unit
  and t_NFS'V3'null'res = unit
  and t_NFS'V3'getattr'arg = Nfs3_aux.nfs_fh3
  and t_NFS'V3'getattr'res = Nfs3_aux.getattr3res
  and t_NFS'V3'setattr'arg =
      Nfs3_aux.nfs_fh3 * Nfs3_aux.sattr3 * Nfs3_aux.sattrguard3
  and t_NFS'V3'setattr'res = Nfs3_aux.setattr3res
  and t_NFS'V3'lookup'arg = Nfs3_aux.diropargs3
  and t_NFS'V3'lookup'res = Nfs3_aux.lookup3res
  and t_NFS'V3'access'arg = Nfs3_aux.nfs_fh3 * Nfs3_aux.uint32
  and t_NFS'V3'access'res = Nfs3_aux.access3res
  and t_NFS'V3'readlink'arg = Nfs3_aux.nfs_fh3
  and t_NFS'V3'readlink'res = Nfs3_aux.readlink3res
  and t_NFS'V3'read'arg =
      Nfs3_aux.nfs_fh3 * Nfs3_aux.offset3 * Nfs3_aux.count3
  and t_NFS'V3'read'res = Nfs3_aux.read3res
  and t_NFS'V3'write'arg =
      Nfs3_aux.nfs_fh3 * Nfs3_aux.offset3 * Nfs3_aux.count3 *
      Nfs3_aux.stable_how * Nfs3_aux.opaque_data
  and t_NFS'V3'write'res = Nfs3_aux.write3res
  and t_NFS'V3'create'arg = Nfs3_aux.diropargs3 * Nfs3_aux.createhow3
  and t_NFS'V3'create'res = Nfs3_aux.create3res
  and t_NFS'V3'mkdir'arg = Nfs3_aux.diropargs3 * Nfs3_aux.sattr3
  and t_NFS'V3'mkdir'res = Nfs3_aux.mkdir3res
  and t_NFS'V3'symlink'arg = Nfs3_aux.diropargs3 * Nfs3_aux.symlinkdata3
  and t_NFS'V3'symlink'res = Nfs3_aux.symlink3res
  and t_NFS'V3'mknod'arg = Nfs3_aux.diropargs3 * Nfs3_aux.mknoddata3
  and t_NFS'V3'mknod'res = Nfs3_aux.mknod3res
  and t_NFS'V3'remove'arg = Nfs3_aux.diropargs3
  and t_NFS'V3'remove'res = Nfs3_aux.remove3res
  and t_NFS'V3'rmdir'arg = Nfs3_aux.diropargs3
  and t_NFS'V3'rmdir'res = Nfs3_aux.rmdir3res
  and t_NFS'V3'rename'arg = Nfs3_aux.diropargs3 * Nfs3_aux.diropargs3
  and t_NFS'V3'rename'res = Nfs3_aux.rename3res
  and t_NFS'V3'link'arg = Nfs3_aux.nfs_fh3 * Nfs3_aux.diropargs3
  and t_NFS'V3'link'res = Nfs3_aux.link3res
  and t_NFS'V3'readdir'arg =
      Nfs3_aux.nfs_fh3 * Nfs3_aux.cookie3 * Nfs3_aux.cookieverf3 *
      Nfs3_aux.count3
  and t_NFS'V3'readdir'res = Nfs3_aux.readdir3res
  and t_NFS'V3'readdirplus'arg =
      Nfs3_aux.nfs_fh3 * Nfs3_aux.cookie3 * Nfs3_aux.cookieverf3 *
      Nfs3_aux.count3 * Nfs3_aux.count3
  and t_NFS'V3'readdirplus'res = Nfs3_aux.readdirplus3res
  and t_NFS'V3'fsstat'arg = Nfs3_aux.nfs_fh3
  and t_NFS'V3'fsstat'res = Nfs3_aux.fsstat3res
  and t_NFS'V3'fsinfo'arg = Nfs3_aux.nfs_fh3
  and t_NFS'V3'fsinfo'res = Nfs3_aux.fsinfo3res
  and t_NFS'V3'pathconf'arg = Nfs3_aux.nfs_fh3
  and t_NFS'V3'pathconf'res = Nfs3_aux.pathconf3res
  and t_NFS'V3'commit'arg =
      Nfs3_aux.nfs_fh3 * Nfs3_aux.offset3 * Nfs3_aux.count3
  and t_NFS'V3'commit'res = Nfs3_aux.commit3res
  and t_MOUNT'V3'null'arg = unit
  and t_MOUNT'V3'null'res = unit
  and t_MOUNT'V3'mnt'arg = Nfs3_aux.dirpath
  and t_MOUNT'V3'mnt'res = Nfs3_aux.mountres3
  and t_MOUNT'V3'dump'arg = unit
  and t_MOUNT'V3'dump'res = Nfs3_aux.mountlist
  and t_MOUNT'V3'umnt'arg = Nfs3_aux.dirpath
  and t_MOUNT'V3'umnt'res = unit
  and t_MOUNT'V3'umntall'arg = unit
  and t_MOUNT'V3'umntall'res = unit
  and t_MOUNT'V3'export'arg = unit
  and t_MOUNT'V3'export'res = Nfs3_aux.exports
  val nfs3_ok : Rtypes.int4
  val nfs3err_perm : Rtypes.int4
  val nfs3err_noent : Rtypes.int4
  val nfs3err_io : Rtypes.int4
  val nfs3err_nxio : Rtypes.int4
  val nfs3err_acces : Rtypes.int4
  val nfs3err_exist : Rtypes.int4
  val nfs3err_xdev : Rtypes.int4
  val nfs3err_nodev : Rtypes.int4
  val nfs3err_notdir : Rtypes.int4
  val nfs3err_isdir : Rtypes.int4
  val nfs3err_inval : Rtypes.int4
  val nfs3err_fbig : Rtypes.int4
  val nfs3err_nospc : Rtypes.int4
  val nfs3err_rofs : Rtypes.int4
  val nfs3err_mlink : Rtypes.int4
  val nfs3err_nametoolong : Rtypes.int4
  val nfs3err_notempty : Rtypes.int4
  val nfs3err_dquot : Rtypes.int4
  val nfs3err_stale : Rtypes.int4
  val nfs3err_remote : Rtypes.int4
  val nfs3err_badhandle : Rtypes.int4
  val nfs3err_not_sync : Rtypes.int4
  val nfs3err_bad_cookie : Rtypes.int4
  val nfs3err_notsupp : Rtypes.int4
  val nfs3err_toosmall : Rtypes.int4
  val nfs3err_serverfault : Rtypes.int4
  val nfs3err_badtype : Rtypes.int4
  val nfs3err_jukebox : Rtypes.int4
  val nf3reg : Rtypes.int4
  val nf3dir : Rtypes.int4
  val nf3blk : Rtypes.int4
  val nf3chr : Rtypes.int4
  val nf3lnk : Rtypes.int4
  val nf3sock : Rtypes.int4
  val nf3fifo : Rtypes.int4
  val dont_change : Rtypes.int4
  val set_to_server_time : Rtypes.int4
  val set_to_client_time : Rtypes.int4
  val access3_read : Rtypes.uint4
  val access3_lookup : Rtypes.uint4
  val access3_modify : Rtypes.uint4
  val access3_extend : Rtypes.uint4
  val access3_delete : Rtypes.uint4
  val access3_execute : Rtypes.uint4
  val unstable : Rtypes.int4
  val data_sync : Rtypes.int4
  val file_sync : Rtypes.int4
  val unchecked : Rtypes.int4
  val guarded : Rtypes.int4
  val exclusive : Rtypes.int4
  val fsf3_link : Rtypes.uint4
  val fsf3_symlink : Rtypes.uint4
  val fsf3_homogeneous : Rtypes.uint4
  val fsf3_cansettime : Rtypes.uint4
  val mntpathlen : Rtypes.uint4
  val mntnamlen : Rtypes.uint4
  val mnt3_ok : Rtypes.int4
  val mnt3err_perm : Rtypes.int4
  val mnt3err_noent : Rtypes.int4
  val mnt3err_io : Rtypes.int4
  val mnt3err_acces : Rtypes.int4
  val mnt3err_notdir : Rtypes.int4
  val mnt3err_inval : Rtypes.int4
  val mnt3err_nametoolong : Rtypes.int4
  val mnt3err_notsupp : Rtypes.int4
  val mnt3err_serverfault : Rtypes.int4
  val _to_uint64 : Xdr.xdr_value -> Nfs3_aux.uint64
  val _of_uint64 : Nfs3_aux.uint64 -> Xdr.xdr_value
  val _to_uint32 : Xdr.xdr_value -> Nfs3_aux.uint32
  val _of_uint32 : Nfs3_aux.uint32 -> Xdr.xdr_value
  val _to_filename3 : Xdr.xdr_value -> Nfs3_aux.filename3
  val _of_filename3 : Nfs3_aux.filename3 -> Xdr.xdr_value
  val _to_nfspath3 : Xdr.xdr_value -> Nfs3_aux.nfspath3
  val _of_nfspath3 : Nfs3_aux.nfspath3 -> Xdr.xdr_value
  val _to_fileid3 : Xdr.xdr_value -> Nfs3_aux.fileid3
  val _of_fileid3 : Nfs3_aux.fileid3 -> Xdr.xdr_value
  val _to_cookie3 : Xdr.xdr_value -> Nfs3_aux.cookie3
  val _of_cookie3 : Nfs3_aux.cookie3 -> Xdr.xdr_value
  val _to_cookieverf3 : Xdr.xdr_value -> Nfs3_aux.cookieverf3
  val _of_cookieverf3 : Nfs3_aux.cookieverf3 -> Xdr.xdr_value
  val _to_createverf3 : Xdr.xdr_value -> Nfs3_aux.createverf3
  val _of_createverf3 : Nfs3_aux.createverf3 -> Xdr.xdr_value
  val _to_writeverf3 : Xdr.xdr_value -> Nfs3_aux.writeverf3
  val _of_writeverf3 : Nfs3_aux.writeverf3 -> Xdr.xdr_value
  val _to_opaque_data : Xdr.xdr_value -> Nfs3_aux.opaque_data
  val _of_opaque_data : Nfs3_aux.opaque_data -> Xdr.xdr_value
  val _to_uid3 : Xdr.xdr_value -> Nfs3_aux.uid3
  val _of_uid3 : Nfs3_aux.uid3 -> Xdr.xdr_value
  val _to_gid3 : Xdr.xdr_value -> Nfs3_aux.gid3
  val _of_gid3 : Nfs3_aux.gid3 -> Xdr.xdr_value
  val _to_size3 : Xdr.xdr_value -> Nfs3_aux.size3
  val _of_size3 : Nfs3_aux.size3 -> Xdr.xdr_value
  val _to_offset3 : Xdr.xdr_value -> Nfs3_aux.offset3
  val _of_offset3 : Nfs3_aux.offset3 -> Xdr.xdr_value
  val _to_mode3 : Xdr.xdr_value -> Nfs3_aux.mode3
  val _of_mode3 : Nfs3_aux.mode3 -> Xdr.xdr_value
  val _to_count3 : Xdr.xdr_value -> Nfs3_aux.count3
  val _of_count3 : Nfs3_aux.count3 -> Xdr.xdr_value
  val _to_nfsstat3 : Xdr.xdr_value -> Nfs3_aux.nfsstat3
  val _of_nfsstat3 : Nfs3_aux.nfsstat3 -> Xdr.xdr_value
  val _to_ftype3_enum : Xdr.xdr_value -> Nfs3_aux.ftype3_enum
  val _of_ftype3_enum : Nfs3_aux.ftype3_enum -> Xdr.xdr_value
  val _to_ftype3 : Xdr.xdr_value -> Nfs3_aux.ftype3
  val _of_ftype3 : Nfs3_aux.ftype3 -> Xdr.xdr_value
  val _to_specdata3 : Xdr.xdr_value -> Nfs3_aux.specdata3
  val _of_specdata3 : Nfs3_aux.specdata3 -> Xdr.xdr_value
  val _to_nfs_fh3 : Xdr.xdr_value -> Nfs3_aux.nfs_fh3
  val _of_nfs_fh3 : Nfs3_aux.nfs_fh3 -> Xdr.xdr_value
  val _to_nfstime3 : Xdr.xdr_value -> Nfs3_aux.nfstime3
  val _of_nfstime3 : Nfs3_aux.nfstime3 -> Xdr.xdr_value
  val _to_fattr3 : Xdr.xdr_value -> Nfs3_aux.fattr3
  val _of_fattr3 : Nfs3_aux.fattr3 -> Xdr.xdr_value
  val _to_post_op_attr : Xdr.xdr_value -> Nfs3_aux.post_op_attr
  val _of_post_op_attr : Nfs3_aux.post_op_attr -> Xdr.xdr_value
  val _to_wcc_attr : Xdr.xdr_value -> Nfs3_aux.wcc_attr
  val _of_wcc_attr : Nfs3_aux.wcc_attr -> Xdr.xdr_value
  val _to_pre_op_attr : Xdr.xdr_value -> Nfs3_aux.pre_op_attr
  val _of_pre_op_attr : Nfs3_aux.pre_op_attr -> Xdr.xdr_value
  val _to_wcc_data : Xdr.xdr_value -> Nfs3_aux.wcc_data
  val _of_wcc_data : Nfs3_aux.wcc_data -> Xdr.xdr_value
  val _to_post_op_fh3 : Xdr.xdr_value -> Nfs3_aux.post_op_fh3
  val _of_post_op_fh3 : Nfs3_aux.post_op_fh3 -> Xdr.xdr_value
  val _to_time_how : Xdr.xdr_value -> Nfs3_aux.time_how
  val _of_time_how : Nfs3_aux.time_how -> Xdr.xdr_value
  val _to_set_mode3 : Xdr.xdr_value -> Nfs3_aux.set_mode3
  val _of_set_mode3 : Nfs3_aux.set_mode3 -> Xdr.xdr_value
  val _to_set_uid3 : Xdr.xdr_value -> Nfs3_aux.set_uid3
  val _of_set_uid3 : Nfs3_aux.set_uid3 -> Xdr.xdr_value
  val _to_set_gid3 : Xdr.xdr_value -> Nfs3_aux.set_gid3
  val _of_set_gid3 : Nfs3_aux.set_gid3 -> Xdr.xdr_value
  val _to_set_size3 : Xdr.xdr_value -> Nfs3_aux.set_size3
  val _of_set_size3 : Nfs3_aux.set_size3 -> Xdr.xdr_value
  val _to_set_atime : Xdr.xdr_value -> Nfs3_aux.set_atime
  val _of_set_atime : Nfs3_aux.set_atime -> Xdr.xdr_value
  val _to_set_mtime : Xdr.xdr_value -> Nfs3_aux.set_mtime
  val _of_set_mtime : Nfs3_aux.set_mtime -> Xdr.xdr_value
  val _to_sattr3 : Xdr.xdr_value -> Nfs3_aux.sattr3
  val _of_sattr3 : Nfs3_aux.sattr3 -> Xdr.xdr_value
  val _to_diropargs3 : Xdr.xdr_value -> Nfs3_aux.diropargs3
  val _of_diropargs3 : Nfs3_aux.diropargs3 -> Xdr.xdr_value
  val _to_getattr3resok : Xdr.xdr_value -> Nfs3_aux.getattr3resok
  val _of_getattr3resok : Nfs3_aux.getattr3resok -> Xdr.xdr_value
  val _to_getattr3res : Xdr.xdr_value -> Nfs3_aux.getattr3res
  val _of_getattr3res : Nfs3_aux.getattr3res -> Xdr.xdr_value
  val _to_sattrguard3 : Xdr.xdr_value -> Nfs3_aux.sattrguard3
  val _of_sattrguard3 : Nfs3_aux.sattrguard3 -> Xdr.xdr_value
  val _to_setattr3resok : Xdr.xdr_value -> Nfs3_aux.setattr3resok
  val _of_setattr3resok : Nfs3_aux.setattr3resok -> Xdr.xdr_value
  val _to_setattr3resfail : Xdr.xdr_value -> Nfs3_aux.setattr3resfail
  val _of_setattr3resfail : Nfs3_aux.setattr3resfail -> Xdr.xdr_value
  val _to_setattr3res : Xdr.xdr_value -> Nfs3_aux.setattr3res
  val _of_setattr3res : Nfs3_aux.setattr3res -> Xdr.xdr_value
  val _to_lookup3resok : Xdr.xdr_value -> Nfs3_aux.lookup3resok
  val _of_lookup3resok : Nfs3_aux.lookup3resok -> Xdr.xdr_value
  val _to_lookup3resfail : Xdr.xdr_value -> Nfs3_aux.lookup3resfail
  val _of_lookup3resfail : Nfs3_aux.lookup3resfail -> Xdr.xdr_value
  val _to_lookup3res : Xdr.xdr_value -> Nfs3_aux.lookup3res
  val _of_lookup3res : Nfs3_aux.lookup3res -> Xdr.xdr_value
  val _to_access3resok : Xdr.xdr_value -> Nfs3_aux.access3resok
  val _of_access3resok : Nfs3_aux.access3resok -> Xdr.xdr_value
  val _to_access3resfail : Xdr.xdr_value -> Nfs3_aux.access3resfail
  val _of_access3resfail : Nfs3_aux.access3resfail -> Xdr.xdr_value
  val _to_access3res : Xdr.xdr_value -> Nfs3_aux.access3res
  val _of_access3res : Nfs3_aux.access3res -> Xdr.xdr_value
  val _to_readlink3resok : Xdr.xdr_value -> Nfs3_aux.readlink3resok
  val _of_readlink3resok : Nfs3_aux.readlink3resok -> Xdr.xdr_value
  val _to_readlink3resfail : Xdr.xdr_value -> Nfs3_aux.readlink3resfail
  val _of_readlink3resfail : Nfs3_aux.readlink3resfail -> Xdr.xdr_value
  val _to_readlink3res : Xdr.xdr_value -> Nfs3_aux.readlink3res
  val _of_readlink3res : Nfs3_aux.readlink3res -> Xdr.xdr_value
  val _to_read3resok : Xdr.xdr_value -> Nfs3_aux.read3resok
  val _of_read3resok : Nfs3_aux.read3resok -> Xdr.xdr_value
  val _to_read3resfail : Xdr.xdr_value -> Nfs3_aux.read3resfail
  val _of_read3resfail : Nfs3_aux.read3resfail -> Xdr.xdr_value
  val _to_read3res : Xdr.xdr_value -> Nfs3_aux.read3res
  val _of_read3res : Nfs3_aux.read3res -> Xdr.xdr_value
  val _to_stable_how_enum : Xdr.xdr_value -> Nfs3_aux.stable_how_enum
  val _of_stable_how_enum : Nfs3_aux.stable_how_enum -> Xdr.xdr_value
  val _to_stable_how : Xdr.xdr_value -> Nfs3_aux.stable_how
  val _of_stable_how : Nfs3_aux.stable_how -> Xdr.xdr_value
  val _to_write3resok : Xdr.xdr_value -> Nfs3_aux.write3resok
  val _of_write3resok : Nfs3_aux.write3resok -> Xdr.xdr_value
  val _to_write3resfail : Xdr.xdr_value -> Nfs3_aux.write3resfail
  val _of_write3resfail : Nfs3_aux.write3resfail -> Xdr.xdr_value
  val _to_write3res : Xdr.xdr_value -> Nfs3_aux.write3res
  val _of_write3res : Nfs3_aux.write3res -> Xdr.xdr_value
  val _to_createmode3 : Xdr.xdr_value -> Nfs3_aux.createmode3
  val _of_createmode3 : Nfs3_aux.createmode3 -> Xdr.xdr_value
  val _to_createhow3 : Xdr.xdr_value -> Nfs3_aux.createhow3
  val _of_createhow3 : Nfs3_aux.createhow3 -> Xdr.xdr_value
  val _to_create3resok : Xdr.xdr_value -> Nfs3_aux.create3resok
  val _of_create3resok : Nfs3_aux.create3resok -> Xdr.xdr_value
  val _to_create3resfail : Xdr.xdr_value -> Nfs3_aux.create3resfail
  val _of_create3resfail : Nfs3_aux.create3resfail -> Xdr.xdr_value
  val _to_create3res : Xdr.xdr_value -> Nfs3_aux.create3res
  val _of_create3res : Nfs3_aux.create3res -> Xdr.xdr_value
  val _to_mkdir3resok : Xdr.xdr_value -> Nfs3_aux.mkdir3resok
  val _of_mkdir3resok : Nfs3_aux.mkdir3resok -> Xdr.xdr_value
  val _to_mkdir3resfail : Xdr.xdr_value -> Nfs3_aux.mkdir3resfail
  val _of_mkdir3resfail : Nfs3_aux.mkdir3resfail -> Xdr.xdr_value
  val _to_mkdir3res : Xdr.xdr_value -> Nfs3_aux.mkdir3res
  val _of_mkdir3res : Nfs3_aux.mkdir3res -> Xdr.xdr_value
  val _to_symlinkdata3 : Xdr.xdr_value -> Nfs3_aux.symlinkdata3
  val _of_symlinkdata3 : Nfs3_aux.symlinkdata3 -> Xdr.xdr_value
  val _to_symlink3resok : Xdr.xdr_value -> Nfs3_aux.symlink3resok
  val _of_symlink3resok : Nfs3_aux.symlink3resok -> Xdr.xdr_value
  val _to_symlink3resfail : Xdr.xdr_value -> Nfs3_aux.symlink3resfail
  val _of_symlink3resfail : Nfs3_aux.symlink3resfail -> Xdr.xdr_value
  val _to_symlink3res : Xdr.xdr_value -> Nfs3_aux.symlink3res
  val _of_symlink3res : Nfs3_aux.symlink3res -> Xdr.xdr_value
  val _to_devicedata3 : Xdr.xdr_value -> Nfs3_aux.devicedata3
  val _of_devicedata3 : Nfs3_aux.devicedata3 -> Xdr.xdr_value
  val _to_mknoddata3 : Xdr.xdr_value -> Nfs3_aux.mknoddata3
  val _of_mknoddata3 : Nfs3_aux.mknoddata3 -> Xdr.xdr_value
  val _to_mknod3resok : Xdr.xdr_value -> Nfs3_aux.mknod3resok
  val _of_mknod3resok : Nfs3_aux.mknod3resok -> Xdr.xdr_value
  val _to_mknod3resfail : Xdr.xdr_value -> Nfs3_aux.mknod3resfail
  val _of_mknod3resfail : Nfs3_aux.mknod3resfail -> Xdr.xdr_value
  val _to_mknod3res : Xdr.xdr_value -> Nfs3_aux.mknod3res
  val _of_mknod3res : Nfs3_aux.mknod3res -> Xdr.xdr_value
  val _to_remove3resok : Xdr.xdr_value -> Nfs3_aux.remove3resok
  val _of_remove3resok : Nfs3_aux.remove3resok -> Xdr.xdr_value
  val _to_remove3resfail : Xdr.xdr_value -> Nfs3_aux.remove3resfail
  val _of_remove3resfail : Nfs3_aux.remove3resfail -> Xdr.xdr_value
  val _to_remove3res : Xdr.xdr_value -> Nfs3_aux.remove3res
  val _of_remove3res : Nfs3_aux.remove3res -> Xdr.xdr_value
  val _to_rmdir3resok : Xdr.xdr_value -> Nfs3_aux.rmdir3resok
  val _of_rmdir3resok : Nfs3_aux.rmdir3resok -> Xdr.xdr_value
  val _to_rmdir3resfail : Xdr.xdr_value -> Nfs3_aux.rmdir3resfail
  val _of_rmdir3resfail : Nfs3_aux.rmdir3resfail -> Xdr.xdr_value
  val _to_rmdir3res : Xdr.xdr_value -> Nfs3_aux.rmdir3res
  val _of_rmdir3res : Nfs3_aux.rmdir3res -> Xdr.xdr_value
  val _to_rename3resok : Xdr.xdr_value -> Nfs3_aux.rename3resok
  val _of_rename3resok : Nfs3_aux.rename3resok -> Xdr.xdr_value
  val _to_rename3resfail : Xdr.xdr_value -> Nfs3_aux.rename3resfail
  val _of_rename3resfail : Nfs3_aux.rename3resfail -> Xdr.xdr_value
  val _to_rename3res : Xdr.xdr_value -> Nfs3_aux.rename3res
  val _of_rename3res : Nfs3_aux.rename3res -> Xdr.xdr_value
  val _to_link3resok : Xdr.xdr_value -> Nfs3_aux.link3resok
  val _of_link3resok : Nfs3_aux.link3resok -> Xdr.xdr_value
  val _to_link3resfail : Xdr.xdr_value -> Nfs3_aux.link3resfail
  val _of_link3resfail : Nfs3_aux.link3resfail -> Xdr.xdr_value
  val _to_link3res : Xdr.xdr_value -> Nfs3_aux.link3res
  val _of_link3res : Nfs3_aux.link3res -> Xdr.xdr_value
  val _to_entry3 : Xdr.xdr_value -> Nfs3_aux.entry3
  val _of_entry3 : Nfs3_aux.entry3 -> Xdr.xdr_value
  val _to_dirlist3 : Xdr.xdr_value -> Nfs3_aux.dirlist3
  val _of_dirlist3 : Nfs3_aux.dirlist3 -> Xdr.xdr_value
  val _to_readdir3resok : Xdr.xdr_value -> Nfs3_aux.readdir3resok
  val _of_readdir3resok : Nfs3_aux.readdir3resok -> Xdr.xdr_value
  val _to_readdir3resfail : Xdr.xdr_value -> Nfs3_aux.readdir3resfail
  val _of_readdir3resfail : Nfs3_aux.readdir3resfail -> Xdr.xdr_value
  val _to_readdir3res : Xdr.xdr_value -> Nfs3_aux.readdir3res
  val _of_readdir3res : Nfs3_aux.readdir3res -> Xdr.xdr_value
  val _to_entryplus3 : Xdr.xdr_value -> Nfs3_aux.entryplus3
  val _of_entryplus3 : Nfs3_aux.entryplus3 -> Xdr.xdr_value
  val _to_dirlistplus3 : Xdr.xdr_value -> Nfs3_aux.dirlistplus3
  val _of_dirlistplus3 : Nfs3_aux.dirlistplus3 -> Xdr.xdr_value
  val _to_readdirplus3resok : Xdr.xdr_value -> Nfs3_aux.readdirplus3resok
  val _of_readdirplus3resok : Nfs3_aux.readdirplus3resok -> Xdr.xdr_value
  val _to_readdirplus3resfail : Xdr.xdr_value -> Nfs3_aux.readdirplus3resfail
  val _of_readdirplus3resfail : Nfs3_aux.readdirplus3resfail -> Xdr.xdr_value
  val _to_readdirplus3res : Xdr.xdr_value -> Nfs3_aux.readdirplus3res
  val _of_readdirplus3res : Nfs3_aux.readdirplus3res -> Xdr.xdr_value
  val _to_fsstat3resok : Xdr.xdr_value -> Nfs3_aux.fsstat3resok
  val _of_fsstat3resok : Nfs3_aux.fsstat3resok -> Xdr.xdr_value
  val _to_fsstat3resfail : Xdr.xdr_value -> Nfs3_aux.fsstat3resfail
  val _of_fsstat3resfail : Nfs3_aux.fsstat3resfail -> Xdr.xdr_value
  val _to_fsstat3res : Xdr.xdr_value -> Nfs3_aux.fsstat3res
  val _of_fsstat3res : Nfs3_aux.fsstat3res -> Xdr.xdr_value
  val _to_fsinfo3resok : Xdr.xdr_value -> Nfs3_aux.fsinfo3resok
  val _of_fsinfo3resok : Nfs3_aux.fsinfo3resok -> Xdr.xdr_value
  val _to_fsinfo3resfail : Xdr.xdr_value -> Nfs3_aux.fsinfo3resfail
  val _of_fsinfo3resfail : Nfs3_aux.fsinfo3resfail -> Xdr.xdr_value
  val _to_fsinfo3res : Xdr.xdr_value -> Nfs3_aux.fsinfo3res
  val _of_fsinfo3res : Nfs3_aux.fsinfo3res -> Xdr.xdr_value
  val _to_pathconf3resok : Xdr.xdr_value -> Nfs3_aux.pathconf3resok
  val _of_pathconf3resok : Nfs3_aux.pathconf3resok -> Xdr.xdr_value
  val _to_pathconf3resfail : Xdr.xdr_value -> Nfs3_aux.pathconf3resfail
  val _of_pathconf3resfail : Nfs3_aux.pathconf3resfail -> Xdr.xdr_value
  val _to_pathconf3res : Xdr.xdr_value -> Nfs3_aux.pathconf3res
  val _of_pathconf3res : Nfs3_aux.pathconf3res -> Xdr.xdr_value
  val _to_commit3resok : Xdr.xdr_value -> Nfs3_aux.commit3resok
  val _of_commit3resok : Nfs3_aux.commit3resok -> Xdr.xdr_value
  val _to_commit3resfail : Xdr.xdr_value -> Nfs3_aux.commit3resfail
  val _of_commit3resfail : Nfs3_aux.commit3resfail -> Xdr.xdr_value
  val _to_commit3res : Xdr.xdr_value -> Nfs3_aux.commit3res
  val _of_commit3res : Nfs3_aux.commit3res -> Xdr.xdr_value
  val _to_dirpath : Xdr.xdr_value -> Nfs3_aux.dirpath
  val _of_dirpath : Nfs3_aux.dirpath -> Xdr.xdr_value
  val _to_name : Xdr.xdr_value -> Nfs3_aux.name
  val _of_name : Nfs3_aux.name -> Xdr.xdr_value
  val _to_mountstat3 : Xdr.xdr_value -> Nfs3_aux.mountstat3
  val _of_mountstat3 : Nfs3_aux.mountstat3 -> Xdr.xdr_value
  val _to_mountres3_ok : Xdr.xdr_value -> Nfs3_aux.mountres3_ok
  val _of_mountres3_ok : Nfs3_aux.mountres3_ok -> Xdr.xdr_value
  val _to_mountres3 : Xdr.xdr_value -> Nfs3_aux.mountres3
  val _of_mountres3 : Nfs3_aux.mountres3 -> Xdr.xdr_value
  val _to_mountlist : Xdr.xdr_value -> Nfs3_aux.mountlist
  val _of_mountlist : Nfs3_aux.mountlist -> Xdr.xdr_value
  val _to_mountbody : Xdr.xdr_value -> Nfs3_aux.mountbody
  val _of_mountbody : Nfs3_aux.mountbody -> Xdr.xdr_value
  val _to_groups : Xdr.xdr_value -> Nfs3_aux.groups
  val _of_groups : Nfs3_aux.groups -> Xdr.xdr_value
  val _to_groupnode : Xdr.xdr_value -> Nfs3_aux.groupnode
  val _of_groupnode : Nfs3_aux.groupnode -> Xdr.xdr_value
  val _to_exports : Xdr.xdr_value -> Nfs3_aux.exports
  val _of_exports : Nfs3_aux.exports -> Xdr.xdr_value
  val _to_exportnode : Xdr.xdr_value -> Nfs3_aux.exportnode
  val _of_exportnode : Nfs3_aux.exportnode -> Xdr.xdr_value
  val _to_NFS'V3'null'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'null'arg
  val _of_NFS'V3'null'arg : Nfs3_aux.t_NFS'V3'null'arg -> Xdr.xdr_value
  val _to_NFS'V3'null'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'null'res
  val _of_NFS'V3'null'res : Nfs3_aux.t_NFS'V3'null'res -> Xdr.xdr_value
  val _to_NFS'V3'getattr'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'getattr'arg
  val _of_NFS'V3'getattr'arg : Nfs3_aux.t_NFS'V3'getattr'arg -> Xdr.xdr_value
  val _to_NFS'V3'getattr'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'getattr'res
  val _of_NFS'V3'getattr'res : Nfs3_aux.t_NFS'V3'getattr'res -> Xdr.xdr_value
  val _to_NFS'V3'setattr'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'setattr'arg
  val _of_NFS'V3'setattr'arg : Nfs3_aux.t_NFS'V3'setattr'arg -> Xdr.xdr_value
  val _to_NFS'V3'setattr'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'setattr'res
  val _of_NFS'V3'setattr'res : Nfs3_aux.t_NFS'V3'setattr'res -> Xdr.xdr_value
  val _to_NFS'V3'lookup'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'lookup'arg
  val _of_NFS'V3'lookup'arg : Nfs3_aux.t_NFS'V3'lookup'arg -> Xdr.xdr_value
  val _to_NFS'V3'lookup'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'lookup'res
  val _of_NFS'V3'lookup'res : Nfs3_aux.t_NFS'V3'lookup'res -> Xdr.xdr_value
  val _to_NFS'V3'access'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'access'arg
  val _of_NFS'V3'access'arg : Nfs3_aux.t_NFS'V3'access'arg -> Xdr.xdr_value
  val _to_NFS'V3'access'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'access'res
  val _of_NFS'V3'access'res : Nfs3_aux.t_NFS'V3'access'res -> Xdr.xdr_value
  val _to_NFS'V3'readlink'arg :
    Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'readlink'arg
  val _of_NFS'V3'readlink'arg :
    Nfs3_aux.t_NFS'V3'readlink'arg -> Xdr.xdr_value
  val _to_NFS'V3'readlink'res :
    Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'readlink'res
  val _of_NFS'V3'readlink'res :
    Nfs3_aux.t_NFS'V3'readlink'res -> Xdr.xdr_value
  val _to_NFS'V3'read'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'read'arg
  val _of_NFS'V3'read'arg : Nfs3_aux.t_NFS'V3'read'arg -> Xdr.xdr_value
  val _to_NFS'V3'read'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'read'res
  val _of_NFS'V3'read'res : Nfs3_aux.t_NFS'V3'read'res -> Xdr.xdr_value
  val _to_NFS'V3'write'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'write'arg
  val _of_NFS'V3'write'arg : Nfs3_aux.t_NFS'V3'write'arg -> Xdr.xdr_value
  val _to_NFS'V3'write'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'write'res
  val _of_NFS'V3'write'res : Nfs3_aux.t_NFS'V3'write'res -> Xdr.xdr_value
  val _to_NFS'V3'create'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'create'arg
  val _of_NFS'V3'create'arg : Nfs3_aux.t_NFS'V3'create'arg -> Xdr.xdr_value
  val _to_NFS'V3'create'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'create'res
  val _of_NFS'V3'create'res : Nfs3_aux.t_NFS'V3'create'res -> Xdr.xdr_value
  val _to_NFS'V3'mkdir'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'mkdir'arg
  val _of_NFS'V3'mkdir'arg : Nfs3_aux.t_NFS'V3'mkdir'arg -> Xdr.xdr_value
  val _to_NFS'V3'mkdir'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'mkdir'res
  val _of_NFS'V3'mkdir'res : Nfs3_aux.t_NFS'V3'mkdir'res -> Xdr.xdr_value
  val _to_NFS'V3'symlink'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'symlink'arg
  val _of_NFS'V3'symlink'arg : Nfs3_aux.t_NFS'V3'symlink'arg -> Xdr.xdr_value
  val _to_NFS'V3'symlink'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'symlink'res
  val _of_NFS'V3'symlink'res : Nfs3_aux.t_NFS'V3'symlink'res -> Xdr.xdr_value
  val _to_NFS'V3'mknod'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'mknod'arg
  val _of_NFS'V3'mknod'arg : Nfs3_aux.t_NFS'V3'mknod'arg -> Xdr.xdr_value
  val _to_NFS'V3'mknod'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'mknod'res
  val _of_NFS'V3'mknod'res : Nfs3_aux.t_NFS'V3'mknod'res -> Xdr.xdr_value
  val _to_NFS'V3'remove'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'remove'arg
  val _of_NFS'V3'remove'arg : Nfs3_aux.t_NFS'V3'remove'arg -> Xdr.xdr_value
  val _to_NFS'V3'remove'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'remove'res
  val _of_NFS'V3'remove'res : Nfs3_aux.t_NFS'V3'remove'res -> Xdr.xdr_value
  val _to_NFS'V3'rmdir'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'rmdir'arg
  val _of_NFS'V3'rmdir'arg : Nfs3_aux.t_NFS'V3'rmdir'arg -> Xdr.xdr_value
  val _to_NFS'V3'rmdir'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'rmdir'res
  val _of_NFS'V3'rmdir'res : Nfs3_aux.t_NFS'V3'rmdir'res -> Xdr.xdr_value
  val _to_NFS'V3'rename'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'rename'arg
  val _of_NFS'V3'rename'arg : Nfs3_aux.t_NFS'V3'rename'arg -> Xdr.xdr_value
  val _to_NFS'V3'rename'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'rename'res
  val _of_NFS'V3'rename'res : Nfs3_aux.t_NFS'V3'rename'res -> Xdr.xdr_value
  val _to_NFS'V3'link'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'link'arg
  val _of_NFS'V3'link'arg : Nfs3_aux.t_NFS'V3'link'arg -> Xdr.xdr_value
  val _to_NFS'V3'link'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'link'res
  val _of_NFS'V3'link'res : Nfs3_aux.t_NFS'V3'link'res -> Xdr.xdr_value
  val _to_NFS'V3'readdir'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'readdir'arg
  val _of_NFS'V3'readdir'arg : Nfs3_aux.t_NFS'V3'readdir'arg -> Xdr.xdr_value
  val _to_NFS'V3'readdir'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'readdir'res
  val _of_NFS'V3'readdir'res : Nfs3_aux.t_NFS'V3'readdir'res -> Xdr.xdr_value
  val _to_NFS'V3'readdirplus'arg :
    Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'readdirplus'arg
  val _of_NFS'V3'readdirplus'arg :
    Nfs3_aux.t_NFS'V3'readdirplus'arg -> Xdr.xdr_value
  val _to_NFS'V3'readdirplus'res :
    Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'readdirplus'res
  val _of_NFS'V3'readdirplus'res :
    Nfs3_aux.t_NFS'V3'readdirplus'res -> Xdr.xdr_value
  val _to_NFS'V3'fsstat'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'fsstat'arg
  val _of_NFS'V3'fsstat'arg : Nfs3_aux.t_NFS'V3'fsstat'arg -> Xdr.xdr_value
  val _to_NFS'V3'fsstat'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'fsstat'res
  val _of_NFS'V3'fsstat'res : Nfs3_aux.t_NFS'V3'fsstat'res -> Xdr.xdr_value
  val _to_NFS'V3'fsinfo'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'fsinfo'arg
  val _of_NFS'V3'fsinfo'arg : Nfs3_aux.t_NFS'V3'fsinfo'arg -> Xdr.xdr_value
  val _to_NFS'V3'fsinfo'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'fsinfo'res
  val _of_NFS'V3'fsinfo'res : Nfs3_aux.t_NFS'V3'fsinfo'res -> Xdr.xdr_value
  val _to_NFS'V3'pathconf'arg :
    Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'pathconf'arg
  val _of_NFS'V3'pathconf'arg :
    Nfs3_aux.t_NFS'V3'pathconf'arg -> Xdr.xdr_value
  val _to_NFS'V3'pathconf'res :
    Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'pathconf'res
  val _of_NFS'V3'pathconf'res :
    Nfs3_aux.t_NFS'V3'pathconf'res -> Xdr.xdr_value
  val _to_NFS'V3'commit'arg : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'commit'arg
  val _of_NFS'V3'commit'arg : Nfs3_aux.t_NFS'V3'commit'arg -> Xdr.xdr_value
  val _to_NFS'V3'commit'res : Xdr.xdr_value -> Nfs3_aux.t_NFS'V3'commit'res
  val _of_NFS'V3'commit'res : Nfs3_aux.t_NFS'V3'commit'res -> Xdr.xdr_value
  val _to_MOUNT'V3'null'arg : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'null'arg
  val _of_MOUNT'V3'null'arg : Nfs3_aux.t_MOUNT'V3'null'arg -> Xdr.xdr_value
  val _to_MOUNT'V3'null'res : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'null'res
  val _of_MOUNT'V3'null'res : Nfs3_aux.t_MOUNT'V3'null'res -> Xdr.xdr_value
  val _to_MOUNT'V3'mnt'arg : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'mnt'arg
  val _of_MOUNT'V3'mnt'arg : Nfs3_aux.t_MOUNT'V3'mnt'arg -> Xdr.xdr_value
  val _to_MOUNT'V3'mnt'res : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'mnt'res
  val _of_MOUNT'V3'mnt'res : Nfs3_aux.t_MOUNT'V3'mnt'res -> Xdr.xdr_value
  val _to_MOUNT'V3'dump'arg : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'dump'arg
  val _of_MOUNT'V3'dump'arg : Nfs3_aux.t_MOUNT'V3'dump'arg -> Xdr.xdr_value
  val _to_MOUNT'V3'dump'res : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'dump'res
  val _of_MOUNT'V3'dump'res : Nfs3_aux.t_MOUNT'V3'dump'res -> Xdr.xdr_value
  val _to_MOUNT'V3'umnt'arg : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'umnt'arg
  val _of_MOUNT'V3'umnt'arg : Nfs3_aux.t_MOUNT'V3'umnt'arg -> Xdr.xdr_value
  val _to_MOUNT'V3'umnt'res : Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'umnt'res
  val _of_MOUNT'V3'umnt'res : Nfs3_aux.t_MOUNT'V3'umnt'res -> Xdr.xdr_value
  val _to_MOUNT'V3'umntall'arg :
    Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'umntall'arg
  val _of_MOUNT'V3'umntall'arg :
    Nfs3_aux.t_MOUNT'V3'umntall'arg -> Xdr.xdr_value
  val _to_MOUNT'V3'umntall'res :
    Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'umntall'res
  val _of_MOUNT'V3'umntall'res :
    Nfs3_aux.t_MOUNT'V3'umntall'res -> Xdr.xdr_value
  val _to_MOUNT'V3'export'arg :
    Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'export'arg
  val _of_MOUNT'V3'export'arg :
    Nfs3_aux.t_MOUNT'V3'export'arg -> Xdr.xdr_value
  val _to_MOUNT'V3'export'res :
    Xdr.xdr_value -> Nfs3_aux.t_MOUNT'V3'export'res
  val _of_MOUNT'V3'export'res :
    Nfs3_aux.t_MOUNT'V3'export'res -> Xdr.xdr_value
  val xdrt_uint64 : Xdr.xdr_type_term
  val xdrt_uint32 : Xdr.xdr_type_term
  val xdrt_filename3 : Xdr.xdr_type_term
  val xdrt_nfspath3 : Xdr.xdr_type_term
  val xdrt_fileid3 : Xdr.xdr_type_term
  val xdrt_cookie3 : Xdr.xdr_type_term
  val xdrt_cookieverf3 : Xdr.xdr_type_term
  val xdrt_createverf3 : Xdr.xdr_type_term
  val xdrt_writeverf3 : Xdr.xdr_type_term
  val xdrt_opaque_data : Xdr.xdr_type_term
  val xdrt_uid3 : Xdr.xdr_type_term
  val xdrt_gid3 : Xdr.xdr_type_term
  val xdrt_size3 : Xdr.xdr_type_term
  val xdrt_offset3 : Xdr.xdr_type_term
  val xdrt_mode3 : Xdr.xdr_type_term
  val xdrt_count3 : Xdr.xdr_type_term
  val xdrt_nfsstat3 : Xdr.xdr_type_term
  val xdrt_ftype3_enum : Xdr.xdr_type_term
  val xdrt_ftype3 : Xdr.xdr_type_term
  val xdrt_specdata3 : Xdr.xdr_type_term
  val xdrt_nfs_fh3 : Xdr.xdr_type_term
  val xdrt_nfstime3 : Xdr.xdr_type_term
  val xdrt_fattr3 : Xdr.xdr_type_term
  val xdrt_post_op_attr : Xdr.xdr_type_term
  val xdrt_wcc_attr : Xdr.xdr_type_term
  val xdrt_pre_op_attr : Xdr.xdr_type_term
  val xdrt_wcc_data : Xdr.xdr_type_term
  val xdrt_post_op_fh3 : Xdr.xdr_type_term
  val xdrt_time_how : Xdr.xdr_type_term
  val xdrt_set_mode3 : Xdr.xdr_type_term
  val xdrt_set_uid3 : Xdr.xdr_type_term
  val xdrt_set_gid3 : Xdr.xdr_type_term
  val xdrt_set_size3 : Xdr.xdr_type_term
  val xdrt_set_atime : Xdr.xdr_type_term
  val xdrt_set_mtime : Xdr.xdr_type_term
  val xdrt_sattr3 : Xdr.xdr_type_term
  val xdrt_diropargs3 : Xdr.xdr_type_term
  val xdrt_getattr3resok : Xdr.xdr_type_term
  val xdrt_getattr3res : Xdr.xdr_type_term
  val xdrt_sattrguard3 : Xdr.xdr_type_term
  val xdrt_setattr3resok : Xdr.xdr_type_term
  val xdrt_setattr3resfail : Xdr.xdr_type_term
  val xdrt_setattr3res : Xdr.xdr_type_term
  val xdrt_lookup3resok : Xdr.xdr_type_term
  val xdrt_lookup3resfail : Xdr.xdr_type_term
  val xdrt_lookup3res : Xdr.xdr_type_term
  val xdrt_access3resok : Xdr.xdr_type_term
  val xdrt_access3resfail : Xdr.xdr_type_term
  val xdrt_access3res : Xdr.xdr_type_term
  val xdrt_readlink3resok : Xdr.xdr_type_term
  val xdrt_readlink3resfail : Xdr.xdr_type_term
  val xdrt_readlink3res : Xdr.xdr_type_term
  val xdrt_read3resok : Xdr.xdr_type_term
  val xdrt_read3resfail : Xdr.xdr_type_term
  val xdrt_read3res : Xdr.xdr_type_term
  val xdrt_stable_how_enum : Xdr.xdr_type_term
  val xdrt_stable_how : Xdr.xdr_type_term
  val xdrt_write3resok : Xdr.xdr_type_term
  val xdrt_write3resfail : Xdr.xdr_type_term
  val xdrt_write3res : Xdr.xdr_type_term
  val xdrt_createmode3 : Xdr.xdr_type_term
  val xdrt_createhow3 : Xdr.xdr_type_term
  val xdrt_create3resok : Xdr.xdr_type_term
  val xdrt_create3resfail : Xdr.xdr_type_term
  val xdrt_create3res : Xdr.xdr_type_term
  val xdrt_mkdir3resok : Xdr.xdr_type_term
  val xdrt_mkdir3resfail : Xdr.xdr_type_term
  val xdrt_mkdir3res : Xdr.xdr_type_term
  val xdrt_symlinkdata3 : Xdr.xdr_type_term
  val xdrt_symlink3resok : Xdr.xdr_type_term
  val xdrt_symlink3resfail : Xdr.xdr_type_term
  val xdrt_symlink3res : Xdr.xdr_type_term
  val xdrt_devicedata3 : Xdr.xdr_type_term
  val xdrt_mknoddata3 : Xdr.xdr_type_term
  val xdrt_mknod3resok : Xdr.xdr_type_term
  val xdrt_mknod3resfail : Xdr.xdr_type_term
  val xdrt_mknod3res : Xdr.xdr_type_term
  val xdrt_remove3resok : Xdr.xdr_type_term
  val xdrt_remove3resfail : Xdr.xdr_type_term
  val xdrt_remove3res : Xdr.xdr_type_term
  val xdrt_rmdir3resok : Xdr.xdr_type_term
  val xdrt_rmdir3resfail : Xdr.xdr_type_term
  val xdrt_rmdir3res : Xdr.xdr_type_term
  val xdrt_rename3resok : Xdr.xdr_type_term
  val xdrt_rename3resfail : Xdr.xdr_type_term
  val xdrt_rename3res : Xdr.xdr_type_term
  val xdrt_link3resok : Xdr.xdr_type_term
  val xdrt_link3resfail : Xdr.xdr_type_term
  val xdrt_link3res : Xdr.xdr_type_term
  val xdrt_entry3 : Xdr.xdr_type_term
  val xdrt_dirlist3 : Xdr.xdr_type_term
  val xdrt_readdir3resok : Xdr.xdr_type_term
  val xdrt_readdir3resfail : Xdr.xdr_type_term
  val xdrt_readdir3res : Xdr.xdr_type_term
  val xdrt_entryplus3 : Xdr.xdr_type_term
  val xdrt_dirlistplus3 : Xdr.xdr_type_term
  val xdrt_readdirplus3resok : Xdr.xdr_type_term
  val xdrt_readdirplus3resfail : Xdr.xdr_type_term
  val xdrt_readdirplus3res : Xdr.xdr_type_term
  val xdrt_fsstat3resok : Xdr.xdr_type_term
  val xdrt_fsstat3resfail : Xdr.xdr_type_term
  val xdrt_fsstat3res : Xdr.xdr_type_term
  val xdrt_fsinfo3resok : Xdr.xdr_type_term
  val xdrt_fsinfo3resfail : Xdr.xdr_type_term
  val xdrt_fsinfo3res : Xdr.xdr_type_term
  val xdrt_pathconf3resok : Xdr.xdr_type_term
  val xdrt_pathconf3resfail : Xdr.xdr_type_term
  val xdrt_pathconf3res : Xdr.xdr_type_term
  val xdrt_commit3resok : Xdr.xdr_type_term
  val xdrt_commit3resfail : Xdr.xdr_type_term
  val xdrt_commit3res : Xdr.xdr_type_term
  val xdrt_dirpath : Xdr.xdr_type_term
  val xdrt_name : Xdr.xdr_type_term
  val xdrt_mountstat3 : Xdr.xdr_type_term
  val xdrt_mountres3_ok : Xdr.xdr_type_term
  val xdrt_mountres3 : Xdr.xdr_type_term
  val xdrt_mountlist : Xdr.xdr_type_term
  val xdrt_mountbody : Xdr.xdr_type_term
  val xdrt_groups : Xdr.xdr_type_term
  val xdrt_groupnode : Xdr.xdr_type_term
  val xdrt_exports : Xdr.xdr_type_term
  val xdrt_exportnode : Xdr.xdr_type_term
  val xdrt_NFS'V3'null'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'null'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'getattr'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'getattr'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'setattr'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'setattr'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'lookup'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'lookup'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'access'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'access'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'readlink'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'readlink'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'read'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'read'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'write'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'write'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'create'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'create'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'mkdir'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'mkdir'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'symlink'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'symlink'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'mknod'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'mknod'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'remove'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'remove'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'rmdir'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'rmdir'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'rename'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'rename'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'link'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'link'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'readdir'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'readdir'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'readdirplus'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'readdirplus'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'fsstat'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'fsstat'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'fsinfo'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'fsinfo'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'pathconf'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'pathconf'res : Xdr.xdr_type_term
  val xdrt_NFS'V3'commit'arg : Xdr.xdr_type_term
  val xdrt_NFS'V3'commit'res : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'null'arg : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'null'res : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'mnt'arg : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'mnt'res : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'dump'arg : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'dump'res : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'umnt'arg : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'umnt'res : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'umntall'arg : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'umntall'res : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'export'arg : Xdr.xdr_type_term
  val xdrt_MOUNT'V3'export'res : Xdr.xdr_type_term
  val program_NFS'V3 : Rpc_program.t
  val program_MOUNT'V3 : Rpc_program.t
end
This web site is published by Informatikbüro Gerd Stolpmann
Powered by Caml