Sc_rollup (mavkit-protocol-alpha-libs.Mavryk_protocol_plugin_alpha.RPC.Sc

module S : sig ... end

val kind : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  unit ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Kind.t
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val register_inbox : unit -> unit

val register_whitelist : unit -> unit

val register_last_whitelist_update : unit -> unit

val register_kind : unit -> unit

val register_genesis_info : unit -> unit

val register_last_cemented_commitment_hash_with_level : unit -> unit

val register_staked_on_commitment : unit -> unit

val register_commitment : unit -> unit

val register_root : unit -> unit

val register_ongoing_refutation_games : unit -> unit

val register_commitments : unit -> unit

val register_stakers_ids : unit -> unit

val register_staker_id : unit -> unit

val register_stakers : unit -> unit

val register_conflicts : unit -> unit

val register_timeout : unit -> unit

val register_timeout_reached : unit -> unit

val register_can_be_cemented : unit -> unit

val register_ticket_balance : unit -> unit

val register : unit -> unit

val list : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Address.t list
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val inbox : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Inbox.t
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val whitelist : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Whitelist.t option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val last_whitelist_update : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Whitelist.last_whitelist_update
    option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val genesis_info : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.genesis_info
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val last_cemented_commitment_hash_with_level : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Raw_level.t)
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val staked_on_commitment : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.t)
    option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val commitment : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.t
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val ongoing_refutation_games : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  (Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Game.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t
   * Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t)
    list
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val commitments : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Raw_level.raw_level ->
  unit ->
  unit ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t list
    option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val stakers_ids : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t ->
  unit ->
  unit ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.Index.t list
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val staker_id : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  unit ->
  unit ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.Index.t
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val stakers : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  unit ->
  unit ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t list
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val conflicts : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Refutation_storage.conflict
    list
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val timeout_reached : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Game.game_result
    option
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val can_be_cemented : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t ->
  bool Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t

val get_ticket_balance : 
  'a Mavryk_protocol_alpha.Environment.RPC_context.simple ->
  'b ->
  Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.t ->
  Mavryk_protocol_alpha.Protocol.Ticket_token.unparsed_token ->
  Mavryk_protocol_environment_alpha.Z.t
    Mavryk_protocol_environment_alpha.Error_monad.shell_tzresult
    Mavryk_protocol_environment_alpha.Lwt.t