Module Proxy_getter.InternalSource

Exposed for testing purpose only, you should not use it directly

Sourcemodule Tree : Proxy.TREE with type t = Local.tree with type key = Local.key
Sourceval raw_context_to_tree : Proof.raw_context -> Local.tree option Lwt.t