octez-protocol-015-PtLimaPt-libs 19.1 (latest)

module S : sig ... end

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

val register_inbox : unit -> unit

val register_kind : unit -> unit

val register_initial_pvm_state_hash : unit -> unit

val register_genesis_info : unit -> unit

val register_boot_sector : 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_dal_slot_subscriptions : unit -> unit

val register_root : unit -> unit

val register_ongoing_refutation_game : 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 : unit -> unit

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

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

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

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

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

val dal_slot_subscriptions : 
  'a Tezos_protocol_015_PtLimaPt.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Address.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Raw_level.raw_level ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Dal.Slot_index.t list
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.shell_tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

val boot_sector : 
  'a Tezos_protocol_015_PtLimaPt.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Address.t ->
  string Tezos_protocol_environment_015_PtLimaPt.Error_monad.shell_tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

val ongoing_refutation_game : 
  'a Tezos_protocol_015_PtLimaPt.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Address.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  unit ->
  (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Game.t
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t)
    option
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.shell_tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

val conflicts : 
  'a Tezos_protocol_015_PtLimaPt.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Address.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t ->
  unit ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Refutation_storage.conflict
    list
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.shell_tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

val timeout_reached : 
  'a Tezos_protocol_015_PtLimaPt.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Address.t ->
  (Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t
   * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t) ->
  unit ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Game.game_result
    option
    Tezos_protocol_environment_015_PtLimaPt.Error_monad.shell_tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

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

val can_be_cemented : 
  'a Tezos_protocol_015_PtLimaPt.Environment.RPC_context.simple ->
  'b ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Address.t ->
  Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t ->
  unit ->
  bool Tezos_protocol_environment_015_PtLimaPt.Error_monad.shell_tzresult
    Tezos_protocol_environment_015_PtLimaPt.Lwt.t

package octez-protocol-015-PtLimaPt-libs