Proxy_getter.MakeFunctor to obtain a generic implementation. Used by the light mode
module C : Proxy.COREmodule X : Proxy_proto.PROTO_RPCval proxy_dir_mem :
Proxy.proxy_getter_input ->
Local.key ->
bool Tezos_base.TzPervasives.tzresult Lwt.tWhether the key is mapped to a directory
val proxy_get :
Proxy.proxy_getter_input ->
Local.key ->
Local.tree option Tezos_base.TzPervasives.tzresult Lwt.tThe value to which a key maps
val proxy_mem :
Proxy.proxy_getter_input ->
Local.key ->
bool Tezos_base.TzPervasives.tzresult Lwt.tWhether the key is mapped to a value