Light.M
val merkle_tree : Mavryk_proxy.Proxy.proxy_getter_input -> Mavryk_protocol_environment.Proxy_context.M.key -> Mavryk_proxy.Light_proto.Proof.merkle_leaf_kind -> Mavryk_proxy.Light_proto.Proof.tree Mavryk_proxy.Light_proto.Proof.t option Mavryk_base.TzPervasives.tzresult Lwt.t