Make (mavkit-shell-libs.Mavryk_proxy.Proxy

Parameters

module C : Proxy.CORE

module X : Proxy_proto.PROTO_RPC

val proxy_dir_mem : 
  Proxy.proxy_getter_input ->
  Local.key ->
  bool Mavryk_base.TzPervasives.tzresult Lwt.t

Whether the key is mapped to a directory

val proxy_get : 
  Proxy.proxy_getter_input ->
  Local.key ->
  Local.tree option Mavryk_base.TzPervasives.tzresult Lwt.t

The value to which a key maps

val proxy_mem : 
  Proxy.proxy_getter_input ->
  Local.key ->
  bool Mavryk_base.TzPervasives.tzresult Lwt.t

Whether the key is mapped to a value