Tezos_proxy.Light_proto
module Proof = Tezos_context_sigs.Context.Proof_types
module type PROTO_RPCS = sig ... end