Module Proxy_getter.MakeSource

Functor to obtain a generic implementation. Used by the light mode

Parameters

module C : Proxy.CORE

Signature

Sourceval proxy_dir_mem : Proxy.proxy_getter_input -> Local.key -> bool Tezos_base.TzPervasives.tzresult Lwt.t

Whether the key is mapped to a directory

Sourceval proxy_get : Proxy.proxy_getter_input -> Local.key -> Local.tree option Tezos_base.TzPervasives.tzresult Lwt.t

The value to which a key maps

Sourceval proxy_mem : Proxy.proxy_getter_input -> Local.key -> bool Tezos_base.TzPervasives.tzresult Lwt.t

Whether the key is mapped to a value