package tezos-proxy

  1. Overview
  2. Docs

Code that is used both by protocol-dependent code and by other code. Note that we don't want this code in proxy_proto.ml because it's independent from the protocol and we neither want this code in proxy_getter.ml, because it would create a cyclic dependency between proxy_proto.ml and proxy_getter.ml

module Local = Local_context
type mode =
  1. | Client
    (*

    Mode when tezos-client executes

    *)
  2. | Server
    (*

    Mode when tezos-proxy-server executes

    *)

Whether tezos-client or tezos-proxy-server is running.

type 'a update =
  1. | Mutation
  2. | Value of 'a

The result of setting a leaf. A mutation if done in place, otherwise a fresh value. We need this type because the proxy implementation returns a value whereas the light mode's implementation performs a mutation (because of Irmin under the hood).

module type TREE = sig ... end
module type CORE = sig ... end

Module used by implementations of Proxy_getter.M.