Injection (octez-protocol-008-PtEdo2Zk-libs.Tezos_client_008

type _ annotated_manager_operation =

| Manager_info : {
1. fee : Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t option;
2. operation : 'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.manager_operation;
3. gas_limit : Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral option;
4. storage_limit : Z.t option;
} -> 'kind annotated_manager_operation

type packed_annotated_manager_operation =

| Annotated_manager_operation : 'kind annotated_manager_operation -> packed_annotated_manager_operation

type _ annotated_manager_operation_list =

| Single_manager : 'kind annotated_manager_operation -> 'kind annotated_manager_operation_list
| Cons_manager : 'kind annotated_manager_operation * 'rest annotated_manager_operation_list -> ('kind * 'rest) annotated_manager_operation_list

The annotated_manager_operation_list type helps making contents_list from a list of manager_operations. Its construction mimics contents_list in order to keep consistent types when calling inject_manager_operation and inject_operation.

type packed_annotated_manager_operation_list =

| Manager_list : 'kind annotated_manager_operation_list -> packed_annotated_manager_operation_list

val manager_of_list : 
  packed_annotated_manager_operation list ->
  packed_annotated_manager_operation_list

val manager_to_list : 
  packed_annotated_manager_operation_list ->
  packed_annotated_manager_operation list

type 'kind preapply_result =
  Tezos_base.TzPervasives.Operation_hash.t
  * 'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.operation
  * 'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Apply_results.operation_metadata

type fee_parameter = {

minimal_fees : Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t;
minimal_nanotez_per_byte : Q.t;
minimal_nanotez_per_gas_unit : Q.t;
force_low_fee : bool;
fee_cap : Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t;
burn_cap : Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t;

}

val dummy_fee_parameter : fee_parameter

val preapply : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?verbose_signing:bool ->
  ?fee_parameter:fee_parameter ->
  ?branch:int ->
  ?src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.contents_list ->
  'kind preapply_result Tezos_base.TzPervasives.tzresult Lwt.t

type 'kind result_list =
  Tezos_base.TzPervasives.Operation_hash.t
  * 'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.contents_list
  * 'kind
      Tezos_protocol_008_PtEdo2Zk.Protocol.Apply_results.contents_result_list

val inject_operation : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?confirmations:int ->
  ?dry_run:bool ->
  ?simulation:bool ->
  ?branch:int ->
  ?src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  ?verbose_signing:bool ->
  fee_parameter:fee_parameter ->
  ?compute_fee:bool ->
  'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.contents_list ->
  'kind result_list Tezos_base.TzPervasives.tzresult Lwt.t

type 'kind result =
  Tezos_base.TzPervasives.Operation_hash.t
  * 'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.contents
  * 'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Apply_results.contents_result

val prepare_manager_operation : 
  ?fee:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.manager_operation ->
  'kind annotated_manager_operation

val inject_manager_operation : 
  Protocol_client_context.full ->
  chain:Tezos_shell_services.Shell_services.chain ->
  block:Tezos_shell_services.Shell_services.block ->
  ?branch:int ->
  ?confirmations:int ->
  ?dry_run:bool ->
  ?verbose_signing:bool ->
  ?simulation:bool ->
  source:Tezos_crypto.Signature.V0.Public_key_hash.t ->
  src_pk:Tezos_crypto.Signature.V0.public_key ->
  src_sk:Tezos_client_base.Client_keys_v0.sk_uri ->
  ?fee:Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Tez.t ->
  ?gas_limit:
    Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Gas.Arith.integral ->
  ?storage_limit:Z.t ->
  ?counter:Z.t ->
  fee_parameter:fee_parameter ->
  'kind annotated_manager_operation_list ->
  'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Kind.manager
    result_list
    Tezos_base.TzPervasives.tzresult
    Lwt.t

val originated_contracts : 
  'kind Tezos_protocol_008_PtEdo2Zk.Protocol.Apply_results.contents_result_list ->
  Tezos_protocol_008_PtEdo2Zk.Protocol.Alpha_context.Contract.t list
    Tezos_base.TzPervasives.tzresult