package octez-protocol-015-PtLimaPt-libs

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

Calls Tezos_protocol_alpha.Protocol.Contract_services.list.

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Contract.get_used_storage_space.

Calls Tezos_protocol_plugin_alpha.Plugin.RPC.Contract.get_paid_storage_space.

Calls Raw_contract_alias.add.

Calls Michelson_v1_parser.parse_expressionarg.

Same as transfer, but takes parameters as Script.lazy_expr instead of a raw string. This can be useful for commands that elaborate Micheline parameters, such as Multisigs or FA1.2 operations.

type batch_transfer_operation = {
  1. destination : string;
  2. fee : string option;
  3. gas_limit : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral option;
  4. storage_limit : Z.t option;
  5. amount : string;
  6. arg : string option;
  7. entrypoint : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Entrypoint.t option;
}

Activate an existing account, by calling Injection.inject_operation with activation code. It fails if the account is unknown or if the account is not Ed25519.

type period_info = {
  1. current_period_kind : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Voting_period.kind;
  2. position : Stdlib.Int32.t;
  3. remaining : Stdlib.Int32.t;
  4. current_proposal : Tezos_base.TzPervasives.Protocol_hash.t option;
}
type ballots_info = {
  1. current_quorum : Stdlib.Int32.t;
  2. participation : Stdlib.Int32.t;
  3. supermajority : Stdlib.Int64.t;
  4. ballots : Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Vote.ballots;
}

get_period_info ~successor cctx ~chain ~block returns the successor period_info if successor, it returns the current period_info otherwise. This function uses Tezos_protocol_alpha.Protocol.Voting_services.successor_period if successor, otherwise it calls Tezos_protocol_alpha.Protocol.Voting_services.current_period. In any case, it also uses Tezos_protocol_alpha.Protocol.Voting_services.current_proposal

get_ballots_info cctx ~chain ~block returns the ballots_info. It calls Tezos_protocol_alpha.Protocol.Voting_services.ballots, Tezos_protocol_alpha.Protocol.Voting_services.current_quorum and Tezos_protocol_alpha.Protocol.Voting_services.total_voting_power.

Calls Injection.inject_operation where contents is Alpha_context.Single (Proposals {source; period = index; proposals}) with index the result of Alpha_services.Voting.successor_period

lookup an operation in predecessors previous blocks, and print the receipt if found

Calls Tezos_protocol_alpha.Protocol.Alpha_services.Cache.cached_contracts

Calls Tezos_protocol_alpha.Protocol.Alpha_services.Cache.contract_cache_size

Calls Tezos_protocol_alpha.Protocol.Alpha_services.Cache.contract_cache_size_limit

val submit_tx_rollup_commitment : Protocol_client_context.full -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?confirmations:int -> ?dry_run:bool -> ?verbose_signing:bool -> ?simulation:bool -> ?fee:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.tez -> ?gas_limit: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral -> ?storage_limit:Z.t -> ?counter:Z.t -> source:Tezos_base.TzPervasives.Signature.V0.public_key_hash -> src_pk:Tezos_base.TzPervasives.Signature.V0.public_key -> src_sk:Tezos_client_base.Client_keys_v0.sk_uri -> fee_parameter:Injection.fee_parameter -> level:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_level.t -> inbox_merkle_root: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_inbox.Merkle.root -> messages: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message_result_hash.t list -> predecessor: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_commitment_hash.t option -> tx_rollup:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup.t -> unit -> (Tezos_base.TzPervasives.Operation_hash.t * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.tx_rollup_commit Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.contents * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.tx_rollup_commit Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.contents_result) Tezos_base.TzPervasives.tzresult Lwt.t
val submit_tx_rollup_rejection : Protocol_client_context.full -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?confirmations:int -> ?dry_run:bool -> ?verbose_signing:bool -> ?simulation:bool -> ?fee:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.tez -> ?gas_limit: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral -> ?storage_limit:Z.t -> ?counter:Z.t -> source:Tezos_base.TzPervasives.Signature.V0.public_key_hash -> src_pk:Tezos_base.TzPervasives.Signature.V0.public_key -> src_sk:Tezos_client_base.Client_keys_v0.sk_uri -> fee_parameter:Injection.fee_parameter -> level:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_level.t -> tx_rollup:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup.t -> message: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message.t -> message_position:int -> message_path: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_inbox.Merkle.path -> message_result_hash: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_message_result_hash.t -> message_result_path: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_commitment.Merkle.path -> previous_context_hash:Tezos_base.TzPervasives.Context_hash.t -> previous_withdraw_list_hash: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_withdraw_list_hash.t -> previous_message_result_path: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_commitment.Merkle.path -> proof:Tezos_protocol_015_PtLimaPt.Protocol.Tx_rollup_l2_proof.t -> unit -> (Tezos_base.TzPervasives.Operation_hash.t * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.tx_rollup_rejection Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.contents * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.tx_rollup_rejection Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.contents_result) Tezos_base.TzPervasives.tzresult Lwt.t
val tx_rollup_dispatch_tickets : Protocol_client_context.full -> chain:Tezos_shell_services.Shell_services.chain -> block:Tezos_shell_services.Shell_services.block -> ?confirmations:int -> ?dry_run:bool -> ?verbose_signing:bool -> ?simulation:bool -> ?fee:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.tez -> ?gas_limit: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral -> ?storage_limit:Z.t -> ?counter:Z.t -> source:Tezos_base.TzPervasives.Signature.V0.public_key_hash -> src_pk:Tezos_base.TzPervasives.Signature.V0.public_key -> src_sk:Tezos_client_base.Client_keys_v0.sk_uri -> fee_parameter:Injection.fee_parameter -> level:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_level.t -> context_hash:Tezos_base.TzPervasives.Context_hash.t -> message_position:int -> message_result_path: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_commitment.Merkle.path -> tickets_info: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup_reveal.t list -> tx_rollup:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tx_rollup.t -> unit -> (Tezos_base.TzPervasives.Operation_hash.t * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.tx_rollup_dispatch_tickets Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.contents * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.tx_rollup_dispatch_tickets Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.contents_result) Tezos_base.TzPervasives.tzresult Lwt.t
val sc_rollup_execute_outbox_message : Protocol_client_context.full -> chain:Tezos_shell_services.Chain_services.chain -> block:Tezos_shell_services.Block_services.block -> ?confirmations:int -> ?dry_run:bool -> ?verbose_signing:bool -> ?simulation:bool -> ?fee:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t -> ?gas_limit: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral -> ?storage_limit:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.counter -> ?counter:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.counter -> source:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.public_key_hash -> rollup:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.t -> cemented_commitment: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t -> output_proof:string -> src_pk:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.public_key -> src_sk:Tezos_client_base.Client_keys_v0.sk_uri -> fee_parameter:Injection.fee_parameter -> unit -> (Tezos_base.TzPervasives.Operation_hash.t * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.sc_rollup_execute_outbox_message Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.contents * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.sc_rollup_execute_outbox_message Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.contents_result, Tezos_base.TzPervasives.tztrace) Stdlib.result Lwt.t
val sc_rollup_refute : Protocol_client_context.full -> chain:Tezos_shell_services.Chain_services.chain -> block:Tezos_shell_services.Block_services.block -> ?confirmations:int -> ?dry_run:bool -> ?verbose_signing:bool -> ?simulation:bool -> ?fee:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t -> ?gas_limit: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral -> ?storage_limit:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.counter -> ?counter:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.counter -> source:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.public_key_hash -> rollup:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.t -> refutation: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Game.refutation option -> opponent: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t -> src_pk:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.public_key -> src_sk:Tezos_client_base.Client_keys_v0.sk_uri -> fee_parameter:Injection.fee_parameter -> unit -> (Tezos_base.TzPervasives.Operation_hash.t * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.sc_rollup_refute Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.contents * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.sc_rollup_refute Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.contents_result) Tezos_base.TzPervasives.tzresult Lwt.t
val sc_rollup_timeout : Protocol_client_context.full -> chain:Tezos_shell_services.Chain_services.chain -> block:Tezos_shell_services.Block_services.block -> ?confirmations:int -> ?dry_run:bool -> ?verbose_signing:bool -> ?simulation:bool -> ?fee:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Tez.t -> ?gas_limit: Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Gas.Arith.integral -> ?storage_limit:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.counter -> ?counter:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.counter -> source:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.public_key_hash -> rollup:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.t -> alice:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t -> bob:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Sc_rollup.Staker.t -> src_pk:Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.public_key -> src_sk:Tezos_client_base.Client_keys_v0.sk_uri -> fee_parameter:Injection.fee_parameter -> unit -> (Tezos_base.TzPervasives.Operation_hash.t * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.sc_rollup_timeout Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.contents * Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.sc_rollup_timeout Tezos_protocol_015_PtLimaPt.Protocol.Alpha_context.Kind.manager Tezos_protocol_015_PtLimaPt.Protocol.Apply_results.contents_result) Tezos_base.TzPervasives.tzresult Lwt.t
OCaml

Innovation. Community. Security.