Proxy_getter.Internal
Exposed for testing purpose only, you should not use it directly
module Tree : Proxy.TREE with type t = Local.tree with type key = Local.key
val raw_context_to_tree : Proof.raw_context -> Local.tree option Lwt.t