tezos-protocol-013-PtJakart 20.1 (latest)

See Sc_rollup_storage and Sc_rollup_repr.

module Tick : sig ... end

See Sc_rollup_tick_repr.

module Address : Tezos_protocol_environment_013_PtJakart.S.HASH

type t = Address.t

module Kind : sig ... end

module Staker : 
  Tezos_protocol_environment_013_PtJakart.S.SIGNATURE_PUBLIC_KEY_HASH
    with type t =
           Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t

module Commitment_hash : Tezos_protocol_environment_013_PtJakart.S.HASH

module State_hash : Tezos_protocol_environment_013_PtJakart.S.HASH

module Number_of_messages : 
  Tezos_protocol_environment_013_PtJakart.Bounded.Int32.S

module Number_of_ticks : 
  Tezos_protocol_environment_013_PtJakart.Bounded.Int32.S

module Commitment : sig ... end

val originate : 
  context ->
  kind:Kind.t ->
  boot_sector:string ->
  (t * Tezos_protocol_environment_013_PtJakart.Z.t * context)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val kind : 
  context ->
  t ->
  Kind.t option Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

module Inbox : sig ... end

val rpc_arg : t Tezos_protocol_environment_013_PtJakart.RPC_arg.t

val add_messages : 
  context ->
  t ->
  string list ->
  (Inbox.t * Tezos_protocol_environment_013_PtJakart.Z.t * context)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val inbox : 
  context ->
  t ->
  (Inbox.t * context)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val deposit_stake : 
  context ->
  t ->
  Staker.t ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val withdraw_stake : 
  context ->
  t ->
  Staker.t ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val refine_stake : 
  context ->
  t ->
  Staker.t ->
  Commitment.t ->
  (Commitment_hash.t * context)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val publish_commitment : 
  context ->
  t ->
  Staker.t ->
  Commitment.t ->
  (Commitment_hash.t * context)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val cement_commitment : 
  context ->
  t ->
  Commitment_hash.t ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

type conflict_point = Commitment_hash.t * Commitment_hash.t

val get_conflict_point : 
  context ->
  t ->
  Staker.t ->
  Staker.t ->
  (conflict_point * context)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val get_commitment : 
  context ->
  t ->
  Commitment_hash.t ->
  (Commitment.t * context)
    Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val remove_staker : 
  context ->
  t ->
  Staker.t ->
  context Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val list : 
  context ->
  t list Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

val initial_level : 
  context ->
  t ->
  Raw_level_repr.t Tezos_protocol_environment_013_PtJakart.Error_monad.tzresult
    Tezos_protocol_environment_013_PtJakart.Lwt.t

module Internal_for_tests : sig ... end

package tezos-protocol-013-PtJakart