octez-protocol-013-PtJakart-libs 18.1

val list_contract_labels : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  (string * string * string) list Tezos_base.TzPervasives.tzresult Lwt.t

val get_storage : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  unparsing_mode:
    Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_contract_big_map_value : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr) ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val register_global_constant : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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 ->
  constant:string ->
  unit ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.register_global_constant
     Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
     Injection.result,
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val get_big_map_value : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  unparsing_mode:
    Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Big_map.Id.t ->
  Tezos_protocol_013_PtJakart.Protocol.Script_expr_hash.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_script : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  unparsing_mode:
    Tezos_protocol_013_PtJakart.Protocol.Script_ir_translator.unparsing_mode ->
  normalize_types:bool ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_script_hash : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_013_PtJakart.Protocol.Script_expr_hash.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_balance : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val get_frozen_deposits_limit : 
  Protocol_client_context.rpc_context ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Tezos_base.TzPervasives.Signature.V0.Public_key_hash.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t option
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val build_delegate_operation : 
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash option ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.delegation
    Annotated_manager_operation.t

val set_delegate : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  manager_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  fee_parameter:Injection.fee_parameter ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash option ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.delegation
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
    Injection.result
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val set_deposits_limit : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  manager_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  fee_parameter:Injection.fee_parameter ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t option ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.set_deposits_limit
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
    Injection.result
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val register_as_delegate : 
  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 ->
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  manager_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  fee_parameter:Injection.fee_parameter ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.delegation
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
    Injection.result
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val save_contract : 
  force:bool ->
  Protocol_client_context.full ->
  string ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

val originate_contract : 
  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 ->
  ?branch:int ->
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  delegate:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash option ->
  initial_storage:string ->
  balance:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  code:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.expr ->
  fee_parameter:Injection.fee_parameter ->
  unit ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.origination
     Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
     Injection.result
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val parse_arg_transfer : 
  string option ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.lazy_expr
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val build_transaction_operation : 
  amount:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  parameters:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.lazy_expr ->
  ?entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t ->
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Destination.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.transaction
    Annotated_manager_operation.t

val transfer_with_script : 
  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 ->
  ?force:bool ->
  ?branch:int ->
  ?successor_level:bool ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  destination:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Destination.t ->
  ?entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t ->
  parameters:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Script.lazy_expr ->
  amount:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  ?counter:Z.t ->
  fee_parameter:Injection.fee_parameter ->
  ?replace_by_fees:bool ->
  unit ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.transaction
     Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
     Injection.result
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t list)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

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.

val transfer : 
  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 ->
  ?force:bool ->
  ?branch:int ->
  ?successor_level:bool ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  destination:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Destination.t ->
  ?entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t ->
  ?arg:string ->
  amount:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  ?counter:Z.t ->
  fee_parameter:Injection.fee_parameter ->
  ?replace_by_fees:bool ->
  unit ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.transaction
     Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
     Injection.result
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t list)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val build_reveal_operation : 
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.reveal
    Annotated_manager_operation.t

val reveal : 
  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 ->
  ?branch:int ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  src_pk:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key ->
  src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  ?fee:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  fee_parameter:Injection.fee_parameter ->
  unit ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.reveal
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
    Injection.result
    Tezos_base.TzPervasives.tzresult
    Lwt.t

type activation_key = {

pkh : Tezos_base.TzPervasives.Signature.Ed25519.Public_key_hash.t;
amount : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.t;
activation_code : Tezos_protocol_013_PtJakart.Protocol.Blinded_public_key_hash.activation_code;
mnemonic : string list;
password : string;
email : string;

}

val activation_key_encoding : 
  activation_key Tezos_base.TzPervasives.Data_encoding.t

type batch_transfer_operation = {

destination : string;
fee : string option;
gas_limit : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral option;
storage_limit : Z.t option;
amount : string;
arg : string option;
entrypoint : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t option;

}

val batch_transfer_operation_encoding : 
  batch_transfer_operation Tezos_base.TzPervasives.Data_encoding.t

val activate_account : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?confirmations:int ->
  ?dry_run:bool ->
  ?encrypted:bool ->
  ?force:bool ->
  activation_key ->
  string ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.activate_account
    Injection.result
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val activate_existing_account : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?confirmations:int ->
  ?dry_run:bool ->
  string ->
  Tezos_protocol_013_PtJakart.Protocol.Blinded_public_key_hash.activation_code ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.activate_account
    Injection.result
    Tezos_base.TzPervasives.tzresult
    Lwt.t

type period_info = {

current_period_kind : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Voting_period.kind;
position : Stdlib.Int32.t;
remaining : Stdlib.Int32.t;
current_proposal : Tezos_base.TzPervasives.Protocol_hash.t option;

}

type ballots_info = {

current_quorum : Stdlib.Int32.t;
participation : Stdlib.Int32.t;
supermajority : Stdlib.Int64.t;
ballots : Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Vote.ballots;

}

val get_period_info : 
  ?successor:bool ->
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  period_info Tezos_base.TzPervasives.tzresult Lwt.t

val get_ballots_info : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ballots_info Tezos_base.TzPervasives.tzresult Lwt.t

val get_proposals : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Stdlib.Int64.t Tezos_protocol_013_PtJakart.Environment.Protocol_hash.Map.t
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val submit_proposals : 
  ?dry_run:bool ->
  ?verbose_signing:bool ->
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?confirmations:int ->
  src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  Tezos_base.TzPervasives.Protocol_hash.t list ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.proposals
    Injection.result_list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val submit_ballot : 
  ?dry_run:bool ->
  ?verbose_signing:bool ->
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?confirmations:int ->
  src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  Tezos_base.TzPervasives.Protocol_hash.t ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Vote.ballot ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.ballot
    Injection.result_list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val display_receipt_for_operation : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Block_services.chain ->
  ?predecessors:int ->
  Tezos_base.TzPervasives.Operation_list_hash.elt ->
  unit Tezos_base.TzPervasives.tzresult Lwt.t

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

val cached_contracts : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  (Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t * int) list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val contract_rank : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  int option Tezos_base.TzPervasives.tzresult Lwt.t

val contract_cache_size : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  int Tezos_base.TzPervasives.tzresult Lwt.t

val contract_cache_size_limit : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  int Tezos_base.TzPervasives.tzresult Lwt.t

val originate_tx_rollup : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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 ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_origination
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_origination
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val submit_tx_rollup_batch : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?burn_limit:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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 ->
  content:string ->
  tx_rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_submit_batch
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_submit_batch
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Tx_rollup_level.t ->
  inbox_merkle_root:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_inbox.Merkle.root ->
  messages:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message_result_hash.t
      list ->
  predecessor:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment_hash.t
      option ->
  tx_rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_commit
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_commit
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val submit_tx_rollup_finalize_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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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 ->
  tx_rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_finalize_commitment
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_finalize_commitment
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val submit_tx_rollup_remove_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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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 ->
  tx_rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_remove_commitment
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_remove_commitment
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Tx_rollup_level.t ->
  tx_rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup.t ->
  message:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message.t ->
  message_position:int ->
  message_path:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_inbox.Merkle.path ->
  message_result_hash:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_message_result_hash.t ->
  message_result_path:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment.Merkle.path ->
  previous_context_hash:Tezos_base.TzPervasives.Context_hash.t ->
  previous_withdraw_list_hash:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_withdraw_list_hash.t ->
  previous_message_result_path:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment.Merkle.path ->
  proof:Tezos_protocol_013_PtJakart.Protocol.Tx_rollup_l2_proof.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_rejection
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_rejection
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val submit_tx_rollup_return_bond : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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 ->
  tx_rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_return_bond
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_return_bond
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Tx_rollup_level.t ->
  context_hash:Tezos_base.TzPervasives.Context_hash.t ->
  message_position:int ->
  message_result_path:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_commitment.Merkle.path ->
  tickets_info:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup_reveal.t list ->
  tx_rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Tx_rollup.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_dispatch_tickets
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.tx_rollup_dispatch_tickets
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val transfer_ticket : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.tez ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.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 ->
  contents:string ->
  ty:string ->
  ticketer:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  amount:Z.t ->
  destination:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Contract.t ->
  entrypoint:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Entrypoint.t ->
  unit ->
  (Tezos_base.TzPervasives.Operation_hash.t
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.transfer_ticket
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.transfer_ticket
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val sc_rollup_originate : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  ?counter:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  kind:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.Kind.t ->
  boot_sector:string ->
  src_pk:Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_originate
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_originate
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result,
    Tezos_base.TzPervasives.tztrace)
    Stdlib.result
    Lwt.t

val sc_rollup_add_messages : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  ?counter:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.t ->
  messages:string list ->
  src_pk:Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_add_messages
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_add_messages
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val sc_rollup_cement : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  ?counter:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.t ->
  commitment:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.Commitment_hash.t ->
  src_pk:Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_cement
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_cement
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val sc_rollup_publish : 
  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_013_PtJakart.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  ?counter:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.counter ->
  source:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.public_key_hash ->
  rollup:Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.t ->
  commitment:
    Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Sc_rollup.Commitment.t ->
  src_pk:Tezos_protocol_013_PtJakart.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_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_publish
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.contents
   * Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.sc_rollup_publish
       Tezos_protocol_013_PtJakart.Protocol.Alpha_context.Kind.manager
       Tezos_protocol_013_PtJakart.Protocol.Apply_results.contents_result)
    Tezos_base.TzPervasives.tzresult
    Lwt.t

package octez-protocol-013-PtJakart-libs