C (mavkit-shell-libs.Mavryk_proxy.Proxy

val get : 
  Mavryk_proxy.Proxy.Local.key ->
  Mavryk_proxy.Proxy.Local.tree option Lwt.t

val do_rpc : 
  Proxy.proxy_getter_input ->
  Mavryk_proxy.Proxy.Local.key ->
  unit Mavryk_base.TzPervasives.tzresult Lwt.t