octez-protocol-016-PtMumbai-libs 20.1

module S : sig ... end

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

val register_inbox : unit -> unit

val register_origination_proof : unit -> unit

val register_kind : unit -> unit

val register_initial_pvm_state_hash : 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 Tezos_protocol_016_PtMumbai.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Address.t list
    Tezos_protocol_environment_016_PtMumbai.Error_monad.shell_tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

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

val origination_proof : 
  'a Tezos_protocol_016_PtMumbai.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Kind.t ->
  string ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.Proof.serialized
    Tezos_protocol_environment_016_PtMumbai.Error_monad.shell_tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

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

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

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

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

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

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

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

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

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

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

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

val initial_pvm_state_hash : 
  'a Tezos_protocol_016_PtMumbai.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.t ->
  Tezos_protocol_016_PtMumbai.Protocol.Alpha_context.Sc_rollup.State_hash.t
    Tezos_protocol_environment_016_PtMumbai.Error_monad.shell_tzresult
    Tezos_protocol_environment_016_PtMumbai.Lwt.t

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

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

package octez-protocol-016-PtMumbai-libs