Make_services (mavkit-l2-libs.Mavkit_smart_rollup.Rollup_node_services.Make

Parameters

module P : PREFIX

Signature

include module type of struct include P end

type prefix = P.prefix

val prefix : (unit, prefix) Mavryk_rpc.Path.t

val path : prefix Mavryk_rpc.Path.context

val make_call : 
  ([< Resto.meth ],
    prefix,
    'a,
    'b,
    'c,
    'd,
    Mavryk_error_monad.Error_monad.error list)
    Mavryk_rpc.Service.raw ->
  Mavryk_rpc.Context.simple ->
  'e ->
  'f ->
  'g ->
  'h Mavryk_error_monad.Error_monad.tzresult Lwt.t

val make_call1 : 
  ([< Resto.meth ],
    prefix,
    unit * 'a,
    'b,
    'c,
    'd,
    Mavryk_error_monad.Error_monad.error list)
    Mavryk_rpc.Service.raw ->
  Mavryk_rpc.Context.simple ->
  'a ->
  'e ->
  'f ->
  'g Mavryk_error_monad.Error_monad.tzresult Lwt.t

val make_call2 : 
  ([< Resto.meth ],
    prefix,
    (unit * 'a) * 'b,
    'c,
    'd,
    'e,
    Mavryk_error_monad.Error_monad.error list)
    Mavryk_rpc.Service.raw ->
  Mavryk_rpc.Context.simple ->
  'a ->
  'b ->
  'f ->
  'g ->
  'h Mavryk_error_monad.Error_monad.tzresult Lwt.t