Mavryk_protocol_environment_demo_noops.proto_rpc_contextmethod call_proto_service0 : 'd 'q 'i 'o. ([< RPC_service.meth ] as 'e,
                                            RPC_context.t,
                                            RPC_context.t,
                                            'q,
                                            'i,
                                            'o)
                                            RPC_service.t ->
  'pr ->
  'q ->
  'i ->
  'o Error_monad.shell_tzresult Lwt.tmethod call_proto_service1 : 'f 'a 'q 'i 'o. ([< RPC_service.meth ] as 'g,
                                               RPC_context.t,
                                               RPC_context.t * 'a,
                                               'q,
                                               'i,
                                               'o)
                                               RPC_service.t ->
  'pr ->
  'a ->
  'q ->
  'i ->
  'o Error_monad.shell_tzresult Lwt.tmethod call_proto_service2 : 'h 'a 'b 'q 'i 'o. ([< RPC_service.meth ] as 'j,
                                                  RPC_context.t,
                                                  (RPC_context.t * 'a) * 'b,
                                                  'q,
                                                  'i,
                                                  'o)
                                                  RPC_service.t ->
  'pr ->
  'a ->
  'b ->
  'q ->
  'i ->
  'o Error_monad.shell_tzresult Lwt.tmethod call_proto_service3 : 'k 'a 'b 'c 'q 'i 'o. ([< RPC_service.meth ] as 'l,
                                                     RPC_context.t,
                                                     ((RPC_context.t * 'a) * 'b)
                                                     * 'c,
                                                     'q,
                                                     'i,
                                                     'o)
                                                     RPC_service.t ->
  'pr ->
  'a ->
  'b ->
  'c ->
  'q ->
  'i ->
  'o Error_monad.shell_tzresult Lwt.t