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

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.

OCaml

Innovation. Community. Security.