# Module Rpc_portmapper_aux

    module Rpc_portmapper_aux: sig .. end

    type mapping = {

`` | `mutable prog : `Netnumber.uint4`;`
`` | `mutable vers : `Netnumber.uint4`;`
`` | `mutable prot : `int`;`
`` | `mutable port : `int`;`

}

    type pmaplist = {

`` | `mutable map : `mapping`;`
`` | `mutable next : `pmaplist option`;`

}

    type pmaplist_p = pmaplist option

    type call_args = {

`` | `mutable call_prog : `Netnumber.uint4`;`
`` | `mutable call_vers : `Netnumber.uint4`;`
`` | `mutable call_proc : `Netnumber.uint4`;`
`` | `mutable call_args : `string`;`

}

    type call_result = {

`` | `mutable call_port : `int`;`
`` | `mutable call_res : `string`;`

}

    type uaddr = string

    type rpcb = {

`` | `mutable r_prog : `Netnumber.uint4`;`
`` | `mutable r_vers : `Netnumber.uint4`;`
`` | `mutable r_netid : `string`;`
`` | `mutable r_addr : `uaddr`;`
`` | `mutable r_owner : `string`;`

}

    type rp__list = {

`` | `mutable rpcb_map : `rpcb`;`
`` | `mutable rpcb_next : `rp__list option`;`

}

    type rpcblist_ptr = rp__list option

    type rpcb_rmtcallargs = call_args

    type rpcb_rmtcallres = {

`` | `mutable call_addr : `uaddr`;`
`` | `mutable call_res2 : `string`;`

}

    type rpcb_entry = {

`` | `mutable r_maddr : `string`;`
`` | `mutable r_nc_netid : `string`;`
`` | `mutable r_nc_semantics : `int`;`
`` | `mutable r_nc_protofmly : `string`;`
`` | `mutable r_nc_proto : `string`;`

}

    type rpcb_entry_list = {

`` | `mutable rpcb_entry_map : `rpcb_entry`;`
`` | `mutable rpcb_entry_next : `rpcb_entry_list option`;`

}

    type rpcb_entry_list_ptr = rpcb_entry_list option

    type rpcbs_addrlist = {

`` | `mutable al_prog : `Netnumber.uint4`;`
`` | `mutable al_vers : `Netnumber.uint4`;`
`` | `mutable al_success : `int32`;`
`` | `mutable al_failure : `int32`;`
`` | `mutable al_netid : `string`;`
`` | `mutable al_next : `rpcbs_addrlist option`;`

}

    type rpcbs_rmtcalllist = {

`` | `mutable cl_prog : `Netnumber.uint4`;`
`` | `mutable cl_vers : `Netnumber.uint4`;`
`` | `mutable cl_proc : `Netnumber.uint4`;`
`` | `mutable cl_success : `int32`;`
`` | `mutable cl_failure : `int32`;`
`` | `mutable cl_indirect : `int32`;`
`` | `mutable cl_netid : `string`;`
`` | `mutable cl_next : `rpcbs_rmtcalllist option`;`

}

    type rpcbs_proc = Netnumber.int4 array

    type rpcbs_addrlist_ptr = rpcbs_addrlist option

    type rpcbs_rmtcalllist_ptr = rpcbs_rmtcalllist option

    type rpcb_stat = {

`` | `mutable info : `rpcbs_proc`;`
`` | `mutable setinfo : `int32`;`
`` | `mutable unsetinfo : `int32`;`
`` | `mutable addrinfo : `rpcbs_addrlist_ptr`;`
`` | `mutable rmtinfo : `rpcbs_rmtcalllist_ptr`;`

}

    type rpcb_stat_byvers = rpcb_stat array

    type netbuf = {

`` | `mutable maxlen : `Netnumber.uint4`;`
`` | `mutable buf : `string`;`

}

    type t_PMAP'V2'pmapproc_null'arg = unit

    type t_PMAP'V2'pmapproc_null'res = unit

    type t_PMAP'V2'pmapproc_set'arg = mapping

    type t_PMAP'V2'pmapproc_set'res = bool

    type t_PMAP'V2'pmapproc_unset'arg = mapping

    type t_PMAP'V2'pmapproc_unset'res = bool

    type t_PMAP'V2'pmapproc_getport'arg = mapping

    type t_PMAP'V2'pmapproc_getport'res = int

    type t_PMAP'V2'pmapproc_dump'arg = unit

    type t_PMAP'V2'pmapproc_dump'res = pmaplist_p

    type t_PMAP'V2'pmapproc_callit'arg = call_args

    type t_PMAP'V2'pmapproc_callit'res = call_result

    type t_PMAP'V3'rpcbproc_null'arg = unit

    type t_PMAP'V3'rpcbproc_null'res = unit

    type t_PMAP'V3'rpcbproc_set'arg = rpcb

    type t_PMAP'V3'rpcbproc_set'res = bool

    type t_PMAP'V3'rpcbproc_unset'arg = rpcb

    type t_PMAP'V3'rpcbproc_unset'res = bool

    type t_PMAP'V3'rpcbproc_getaddr'arg = rpcb

    type t_PMAP'V3'rpcbproc_getaddr'res = uaddr

    type t_PMAP'V3'rpcbproc_dump'arg = unit

    type t_PMAP'V3'rpcbproc_dump'res = rpcblist_ptr

    type t_PMAP'V3'rpcbproc_callit'arg = rpcb_rmtcallargs

    type t_PMAP'V3'rpcbproc_callit'res = rpcb_rmtcallres

    type t_PMAP'V3'rpcbproc_gettime'arg = unit

    type t_PMAP'V3'rpcbproc_gettime'res = Netnumber.uint4

    type t_PMAP'V3'rpcbproc_uaddr2taddr'arg = uaddr

    type t_PMAP'V3'rpcbproc_uaddr2taddr'res = netbuf

    type t_PMAP'V3'rpcbproc_taddr2uaddr'arg = netbuf

    type t_PMAP'V3'rpcbproc_taddr2uaddr'res = uaddr

    type t_PMAP'V4'rpcbproc_null'arg = unit

    type t_PMAP'V4'rpcbproc_null'res = unit

    type t_PMAP'V4'rpcbproc_set'arg = rpcb

    type t_PMAP'V4'rpcbproc_set'res = bool

    type t_PMAP'V4'rpcbproc_unset'arg = rpcb

    type t_PMAP'V4'rpcbproc_unset'res = bool

    type t_PMAP'V4'rpcbproc_getaddr'arg = rpcb

    type t_PMAP'V4'rpcbproc_getaddr'res = uaddr

    type t_PMAP'V4'rpcbproc_dump'arg = unit

    type t_PMAP'V4'rpcbproc_dump'res = rpcblist_ptr

    type t_PMAP'V4'rpcbproc_bcast'arg = rpcb_rmtcallargs

    type t_PMAP'V4'rpcbproc_bcast'res = rpcb_rmtcallres

    type t_PMAP'V4'rpcbproc_gettime'arg = unit

    type t_PMAP'V4'rpcbproc_gettime'res = Netnumber.uint4

    type t_PMAP'V4'rpcbproc_uaddr2taddr'arg = uaddr

    type t_PMAP'V4'rpcbproc_uaddr2taddr'res = netbuf

    type t_PMAP'V4'rpcbproc_taddr2uaddr'arg = netbuf

    type t_PMAP'V4'rpcbproc_taddr2uaddr'res = uaddr

    type t_PMAP'V4'rpcbproc_getversaddr'arg = rpcb

    type t_PMAP'V4'rpcbproc_getversaddr'res = uaddr

    type t_PMAP'V4'rpcbproc_indirect'arg = rpcb_rmtcallargs

    type t_PMAP'V4'rpcbproc_indirect'res = rpcb_rmtcallres

    type t_PMAP'V4'rpcbproc_getaddrlist'arg = rpcb

    type t_PMAP'V4'rpcbproc_getaddrlist'res = rpcb_entry_list_ptr

    type t_PMAP'V4'rpcbproc_getstat'arg = unit

    type t_PMAP'V4'rpcbproc_getstat'res = rpcb_stat_byvers

    val pmap_port : Netnumber.uint4

    val ipproto_tcp : Netnumber.uint4

    val ipproto_udp : Netnumber.uint4

    val rpcb_port : Netnumber.uint4

    val rpcbstat_highproc : Netnumber.uint4

    val rpcbvers_stat : Netnumber.uint4

    val rpcbvers_4_stat : Netnumber.uint4

    val rpcbvers_3_stat : Netnumber.uint4

    val rpcbvers_2_stat : Netnumber.uint4

    val _to_mapping : Netxdr.xdr_value -> mapping

    val _of_mapping : mapping -> Netxdr.xdr_value

    val _to_pmaplist : Netxdr.xdr_value -> pmaplist

    val _of_pmaplist : pmaplist -> Netxdr.xdr_value

    val _to_pmaplist_p : Netxdr.xdr_value -> pmaplist_p

    val _of_pmaplist_p : pmaplist_p -> Netxdr.xdr_value

    val _to_call_args : Netxdr.xdr_value -> call_args

    val _of_call_args : call_args -> Netxdr.xdr_value

    val _to_call_result : Netxdr.xdr_value -> call_result

    val _of_call_result : call_result -> Netxdr.xdr_value

    val _to_uaddr : Netxdr.xdr_value -> uaddr

    val _of_uaddr : uaddr -> Netxdr.xdr_value

    val _to_rpcb : Netxdr.xdr_value -> rpcb

    val _of_rpcb : rpcb -> Netxdr.xdr_value

    val _to_rp__list : Netxdr.xdr_value -> rp__list

    val _of_rp__list : rp__list -> Netxdr.xdr_value

    val _to_rpcblist_ptr : Netxdr.xdr_value -> rpcblist_ptr

    val _of_rpcblist_ptr : rpcblist_ptr -> Netxdr.xdr_value

    val _to_rpcb_rmtcallargs : Netxdr.xdr_value -> rpcb_rmtcallargs

    val _of_rpcb_rmtcallargs : rpcb_rmtcallargs -> Netxdr.xdr_value

    val _to_rpcb_rmtcallres : Netxdr.xdr_value -> rpcb_rmtcallres

    val _of_rpcb_rmtcallres : rpcb_rmtcallres -> Netxdr.xdr_value

    val _to_rpcb_entry : Netxdr.xdr_value -> rpcb_entry

    val _of_rpcb_entry : rpcb_entry -> Netxdr.xdr_value

    val _to_rpcb_entry_list : Netxdr.xdr_value -> rpcb_entry_list

    val _of_rpcb_entry_list : rpcb_entry_list -> Netxdr.xdr_value

    val _to_rpcb_entry_list_ptr : Netxdr.xdr_value -> rpcb_entry_list_ptr

    val _of_rpcb_entry_list_ptr : rpcb_entry_list_ptr -> Netxdr.xdr_value

    val _to_rpcbs_addrlist : Netxdr.xdr_value -> rpcbs_addrlist

    val _of_rpcbs_addrlist : rpcbs_addrlist -> Netxdr.xdr_value

    val _to_rpcbs_rmtcalllist : Netxdr.xdr_value -> rpcbs_rmtcalllist

    val _of_rpcbs_rmtcalllist : rpcbs_rmtcalllist -> Netxdr.xdr_value

    val _to_rpcbs_proc : Netxdr.xdr_value -> rpcbs_proc

    val _of_rpcbs_proc : rpcbs_proc -> Netxdr.xdr_value

    val _to_rpcbs_addrlist_ptr : Netxdr.xdr_value -> rpcbs_addrlist_ptr

    val _of_rpcbs_addrlist_ptr : rpcbs_addrlist_ptr -> Netxdr.xdr_value

    val _to_rpcbs_rmtcalllist_ptr : Netxdr.xdr_value -> rpcbs_rmtcalllist_ptr

    val _of_rpcbs_rmtcalllist_ptr : rpcbs_rmtcalllist_ptr -> Netxdr.xdr_value

    val _to_rpcb_stat : Netxdr.xdr_value -> rpcb_stat

    val _of_rpcb_stat : rpcb_stat -> Netxdr.xdr_value

    val _to_rpcb_stat_byvers : Netxdr.xdr_value -> rpcb_stat_byvers

    val _of_rpcb_stat_byvers : rpcb_stat_byvers -> Netxdr.xdr_value

    val _to_netbuf : Netxdr.xdr_value -> netbuf

    val _of_netbuf : netbuf -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_null'arg : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_null'arg

    val _of_PMAP'V2'pmapproc_null'arg : t_PMAP'V2'pmapproc_null'arg -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_null'res : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_null'res

    val _of_PMAP'V2'pmapproc_null'res : t_PMAP'V2'pmapproc_null'res -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_set'arg : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_set'arg

    val _of_PMAP'V2'pmapproc_set'arg : t_PMAP'V2'pmapproc_set'arg -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_set'res : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_set'res

    val _of_PMAP'V2'pmapproc_set'res : t_PMAP'V2'pmapproc_set'res -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_unset'arg : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_unset'arg

    val _of_PMAP'V2'pmapproc_unset'arg : t_PMAP'V2'pmapproc_unset'arg -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_unset'res : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_unset'res

    val _of_PMAP'V2'pmapproc_unset'res : t_PMAP'V2'pmapproc_unset'res -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_getport'arg : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_getport'arg

    val _of_PMAP'V2'pmapproc_getport'arg : t_PMAP'V2'pmapproc_getport'arg -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_getport'res : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_getport'res

    val _of_PMAP'V2'pmapproc_getport'res : t_PMAP'V2'pmapproc_getport'res -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_dump'arg : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_dump'arg

    val _of_PMAP'V2'pmapproc_dump'arg : t_PMAP'V2'pmapproc_dump'arg -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_dump'res : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_dump'res

    val _of_PMAP'V2'pmapproc_dump'res : t_PMAP'V2'pmapproc_dump'res -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_callit'arg : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_callit'arg

    val _of_PMAP'V2'pmapproc_callit'arg : t_PMAP'V2'pmapproc_callit'arg -> Netxdr.xdr_value

    val _to_PMAP'V2'pmapproc_callit'res : Netxdr.xdr_value -> t_PMAP'V2'pmapproc_callit'res

    val _of_PMAP'V2'pmapproc_callit'res : t_PMAP'V2'pmapproc_callit'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_null'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_null'arg

    val _of_PMAP'V3'rpcbproc_null'arg : t_PMAP'V3'rpcbproc_null'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_null'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_null'res

    val _of_PMAP'V3'rpcbproc_null'res : t_PMAP'V3'rpcbproc_null'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_set'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_set'arg

    val _of_PMAP'V3'rpcbproc_set'arg : t_PMAP'V3'rpcbproc_set'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_set'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_set'res

    val _of_PMAP'V3'rpcbproc_set'res : t_PMAP'V3'rpcbproc_set'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_unset'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_unset'arg

    val _of_PMAP'V3'rpcbproc_unset'arg : t_PMAP'V3'rpcbproc_unset'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_unset'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_unset'res

    val _of_PMAP'V3'rpcbproc_unset'res : t_PMAP'V3'rpcbproc_unset'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_getaddr'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_getaddr'arg

    val _of_PMAP'V3'rpcbproc_getaddr'arg : t_PMAP'V3'rpcbproc_getaddr'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_getaddr'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_getaddr'res

    val _of_PMAP'V3'rpcbproc_getaddr'res : t_PMAP'V3'rpcbproc_getaddr'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_dump'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_dump'arg

    val _of_PMAP'V3'rpcbproc_dump'arg : t_PMAP'V3'rpcbproc_dump'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_dump'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_dump'res

    val _of_PMAP'V3'rpcbproc_dump'res : t_PMAP'V3'rpcbproc_dump'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_callit'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_callit'arg

    val _of_PMAP'V3'rpcbproc_callit'arg : t_PMAP'V3'rpcbproc_callit'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_callit'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_callit'res

    val _of_PMAP'V3'rpcbproc_callit'res : t_PMAP'V3'rpcbproc_callit'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_gettime'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_gettime'arg

    val _of_PMAP'V3'rpcbproc_gettime'arg : t_PMAP'V3'rpcbproc_gettime'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_gettime'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_gettime'res

    val _of_PMAP'V3'rpcbproc_gettime'res : t_PMAP'V3'rpcbproc_gettime'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_uaddr2taddr'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_uaddr2taddr'arg

    val _of_PMAP'V3'rpcbproc_uaddr2taddr'arg : t_PMAP'V3'rpcbproc_uaddr2taddr'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_uaddr2taddr'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_uaddr2taddr'res

    val _of_PMAP'V3'rpcbproc_uaddr2taddr'res : t_PMAP'V3'rpcbproc_uaddr2taddr'res -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_taddr2uaddr'arg : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_taddr2uaddr'arg

    val _of_PMAP'V3'rpcbproc_taddr2uaddr'arg : t_PMAP'V3'rpcbproc_taddr2uaddr'arg -> Netxdr.xdr_value

    val _to_PMAP'V3'rpcbproc_taddr2uaddr'res : Netxdr.xdr_value -> t_PMAP'V3'rpcbproc_taddr2uaddr'res

    val _of_PMAP'V3'rpcbproc_taddr2uaddr'res : t_PMAP'V3'rpcbproc_taddr2uaddr'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_null'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_null'arg

    val _of_PMAP'V4'rpcbproc_null'arg : t_PMAP'V4'rpcbproc_null'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_null'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_null'res

    val _of_PMAP'V4'rpcbproc_null'res : t_PMAP'V4'rpcbproc_null'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_set'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_set'arg

    val _of_PMAP'V4'rpcbproc_set'arg : t_PMAP'V4'rpcbproc_set'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_set'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_set'res

    val _of_PMAP'V4'rpcbproc_set'res : t_PMAP'V4'rpcbproc_set'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_unset'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_unset'arg

    val _of_PMAP'V4'rpcbproc_unset'arg : t_PMAP'V4'rpcbproc_unset'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_unset'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_unset'res

    val _of_PMAP'V4'rpcbproc_unset'res : t_PMAP'V4'rpcbproc_unset'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getaddr'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getaddr'arg

    val _of_PMAP'V4'rpcbproc_getaddr'arg : t_PMAP'V4'rpcbproc_getaddr'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getaddr'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getaddr'res

    val _of_PMAP'V4'rpcbproc_getaddr'res : t_PMAP'V4'rpcbproc_getaddr'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_dump'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_dump'arg

    val _of_PMAP'V4'rpcbproc_dump'arg : t_PMAP'V4'rpcbproc_dump'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_dump'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_dump'res

    val _of_PMAP'V4'rpcbproc_dump'res : t_PMAP'V4'rpcbproc_dump'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_bcast'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_bcast'arg

    val _of_PMAP'V4'rpcbproc_bcast'arg : t_PMAP'V4'rpcbproc_bcast'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_bcast'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_bcast'res

    val _of_PMAP'V4'rpcbproc_bcast'res : t_PMAP'V4'rpcbproc_bcast'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_gettime'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_gettime'arg

    val _of_PMAP'V4'rpcbproc_gettime'arg : t_PMAP'V4'rpcbproc_gettime'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_gettime'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_gettime'res

    val _of_PMAP'V4'rpcbproc_gettime'res : t_PMAP'V4'rpcbproc_gettime'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_uaddr2taddr'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_uaddr2taddr'arg

    val _of_PMAP'V4'rpcbproc_uaddr2taddr'arg : t_PMAP'V4'rpcbproc_uaddr2taddr'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_uaddr2taddr'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_uaddr2taddr'res

    val _of_PMAP'V4'rpcbproc_uaddr2taddr'res : t_PMAP'V4'rpcbproc_uaddr2taddr'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_taddr2uaddr'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_taddr2uaddr'arg

    val _of_PMAP'V4'rpcbproc_taddr2uaddr'arg : t_PMAP'V4'rpcbproc_taddr2uaddr'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_taddr2uaddr'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_taddr2uaddr'res

    val _of_PMAP'V4'rpcbproc_taddr2uaddr'res : t_PMAP'V4'rpcbproc_taddr2uaddr'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getversaddr'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getversaddr'arg

    val _of_PMAP'V4'rpcbproc_getversaddr'arg : t_PMAP'V4'rpcbproc_getversaddr'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getversaddr'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getversaddr'res

    val _of_PMAP'V4'rpcbproc_getversaddr'res : t_PMAP'V4'rpcbproc_getversaddr'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_indirect'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_indirect'arg

    val _of_PMAP'V4'rpcbproc_indirect'arg : t_PMAP'V4'rpcbproc_indirect'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_indirect'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_indirect'res

    val _of_PMAP'V4'rpcbproc_indirect'res : t_PMAP'V4'rpcbproc_indirect'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getaddrlist'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getaddrlist'arg

    val _of_PMAP'V4'rpcbproc_getaddrlist'arg : t_PMAP'V4'rpcbproc_getaddrlist'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getaddrlist'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getaddrlist'res

    val _of_PMAP'V4'rpcbproc_getaddrlist'res : t_PMAP'V4'rpcbproc_getaddrlist'res -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getstat'arg : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getstat'arg

    val _of_PMAP'V4'rpcbproc_getstat'arg : t_PMAP'V4'rpcbproc_getstat'arg -> Netxdr.xdr_value

    val _to_PMAP'V4'rpcbproc_getstat'res : Netxdr.xdr_value -> t_PMAP'V4'rpcbproc_getstat'res

    val _of_PMAP'V4'rpcbproc_getstat'res : t_PMAP'V4'rpcbproc_getstat'res -> Netxdr.xdr_value

    val xdrt_mapping : Netxdr.xdr_type_term

    val xdrt_pmaplist : Netxdr.xdr_type_term

    val xdrt_pmaplist_p : Netxdr.xdr_type_term

    val xdrt_call_args : Netxdr.xdr_type_term

    val xdrt_call_result : Netxdr.xdr_type_term

    val xdrt_uaddr : Netxdr.xdr_type_term

    val xdrt_rpcb : Netxdr.xdr_type_term

    val xdrt_rp__list : Netxdr.xdr_type_term

    val xdrt_rpcblist_ptr : Netxdr.xdr_type_term

    val xdrt_rpcb_rmtcallargs : Netxdr.xdr_type_term

    val xdrt_rpcb_rmtcallres : Netxdr.xdr_type_term

    val xdrt_rpcb_entry : Netxdr.xdr_type_term

    val xdrt_rpcb_entry_list : Netxdr.xdr_type_term

    val xdrt_rpcb_entry_list_ptr : Netxdr.xdr_type_term

    val xdrt_rpcbs_addrlist : Netxdr.xdr_type_term

    val xdrt_rpcbs_rmtcalllist : Netxdr.xdr_type_term

    val xdrt_rpcbs_proc : Netxdr.xdr_type_term

    val xdrt_rpcbs_addrlist_ptr : Netxdr.xdr_type_term

    val xdrt_rpcbs_rmtcalllist_ptr : Netxdr.xdr_type_term

    val xdrt_rpcb_stat : Netxdr.xdr_type_term

    val xdrt_rpcb_stat_byvers : Netxdr.xdr_type_term

    val xdrt_netbuf : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_null'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_null'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_set'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_set'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_unset'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_unset'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_getport'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_getport'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_dump'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_dump'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_callit'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V2'pmapproc_callit'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_null'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_null'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_set'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_set'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_unset'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_unset'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_getaddr'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_getaddr'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_dump'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_dump'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_callit'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_callit'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_gettime'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_gettime'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_uaddr2taddr'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_uaddr2taddr'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_taddr2uaddr'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V3'rpcbproc_taddr2uaddr'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_null'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_null'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_set'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_set'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_unset'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_unset'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getaddr'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getaddr'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_dump'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_dump'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_bcast'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_bcast'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_gettime'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_gettime'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_uaddr2taddr'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_uaddr2taddr'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_taddr2uaddr'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_taddr2uaddr'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getversaddr'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getversaddr'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_indirect'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_indirect'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getaddrlist'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getaddrlist'res : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getstat'arg : Netxdr.xdr_type_term

    val xdrt_PMAP'V4'rpcbproc_getstat'res : Netxdr.xdr_type_term

    val program_PMAP'V2 : Rpc_program.t

    val program_PMAP'V3 : Rpc_program.t

    val program_PMAP'V4 : Rpc_program.t