Mavryk_proxy.Light_proto
module Proof = Mavryk_context_sigs.Context.Proof_types
module type PROTO_RPCS = sig ... end