package tezos-protocol-015-PtLimaPt
This module re-exports definitions from Sc_rollup_storage
and Sc_rollup_repr
.
module Tick : sig ... end
See Sc_rollup_tick_repr
.
module Address = Sc_rollup_repr.Address
type t = Sc_rollup_repr.t
type rollup := t
val in_memory_size : t -> Cache_memory_helpers.sint
module Staker :
Tezos_protocol_environment_015_PtLimaPt.S.SIGNATURE_PUBLIC_KEY_HASH
with type t = public_key_hash
module State_hash : sig ... end
module Inbox_message : sig ... end
type inbox_message = {
inbox_level : Raw_level.t;
message_counter : Tezos_protocol_environment_015_PtLimaPt.Z.t;
payload : Inbox_message.serialized;
}
val input_encoding :
input Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
type input_request =
| No_input_required
| Initial
| First_after of Raw_level.t * Tezos_protocol_environment_015_PtLimaPt.Z.t
| Needs_reveal of reveal
val input_request_encoding :
input_request Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
val input_request_equal : input_request -> input_request -> bool
module Inbox : sig ... end
module Outbox : sig ... end
type output = {
outbox_level : Raw_level.t;
message_index : Tezos_protocol_environment_015_PtLimaPt.Z.t;
message : Outbox.Message.t;
}
val output_encoding :
output Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t
module PVM : sig ... end
module Kind : sig ... end
module ArithPVM : sig ... end
module Wasm_2_0_0PVM : sig ... end
module Number_of_ticks : sig ... end
module Commitment : sig ... end
val originate :
context ->
kind:Kind.t ->
boot_sector:string ->
parameters_ty:Script.lazy_expr ->
genesis_commitment:Commitment.t ->
(t
* Tezos_protocol_environment_015_PtLimaPt.Z.t
* Commitment.Hash.t
* context)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
val parameters_type :
context ->
t ->
(Script.lazy_expr option * context)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
module Errors : sig ... end
module type PVM_with_proof = sig ... end
type wrapped_proof =
| Unencodable of (module PVM_with_proof)
| Arith_pvm_with_proof of (module PVM_with_proof with type proof = ArithPVM.Protocol_implementation.proof)
| Wasm_2_0_0_pvm_with_proof of (module PVM_with_proof with type proof = Wasm_2_0_0PVM.Protocol_implementation.proof)
val wrapped_proof_kind_exn : wrapped_proof -> Kind.t
val wrapped_proof_module : wrapped_proof -> (module PVM_with_proof)
module Proof : sig ... end
module Game : sig ... end
module Stake_storage : sig ... end
module Refutation_storage : sig ... end
val rpc_arg : t Tezos_protocol_environment_015_PtLimaPt.RPC_arg.t
val list_unaccounted :
context ->
t list Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
val get_boot_sector :
context ->
t ->
(context * string)
Tezos_protocol_environment_015_PtLimaPt.Error_monad.tzresult
Tezos_protocol_environment_015_PtLimaPt.Lwt.t
module Dal_slot : sig ... end
module Internal_for_tests : sig ... end
This module discloses definitions that are only useful for tests and must not be used otherwise.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>