Proxy_getter.MakeProxyFunctor to obtain the implementation of M for the proxy mode (as opposed to the light mode implementation)
module X : Proxy_proto.PROTO_RPCval proxy_dir_mem :
Proxy.proxy_getter_input ->
Local.key ->
bool Mavryk_base.TzPervasives.tzresult Lwt.tWhether the key is mapped to a directory
val proxy_get :
Proxy.proxy_getter_input ->
Local.key ->
Local.tree option Mavryk_base.TzPervasives.tzresult Lwt.tThe value to which a key maps
val proxy_mem :
Proxy.proxy_getter_input ->
Local.key ->
bool Mavryk_base.TzPervasives.tzresult Lwt.tWhether the key is mapped to a value