Apply_results (tezos-protocol-023-PtSeouLo.Tezos_raw_protocol_023_PtSeouLo.Apply

type double_signing_result = {

punished_delegate : Alpha_context.public_key_hash;
rewarded_delegate : Alpha_context.public_key_hash;
misbehaviour : Alpha_context.Misbehaviour.t;

}

type 'kind operation_metadata = {

contents : 'kind contents_result_list;

}

Result of applying a Operation.t. Follows the same structure.

and packed_operation_metadata =

| Operation_metadata : 'kind operation_metadata -> packed_operation_metadata
| No_operation_metadata : packed_operation_metadata

and 'kind contents_result_list =

| Single_result : 'kind contents_result -> 'kind contents_result_list
| Cons_result : 'kind Alpha_context.Kind.manager contents_result * 'rest Alpha_context.Kind.manager contents_result_list -> ('kind * 'rest) Alpha_context.Kind.manager contents_result_list

Result of applying a Operation.contents_list. Follows the same structure.

and packed_contents_result_list =

| Contents_result_list : 'kind contents_result_list -> packed_contents_result_list

and 'kind contents_result =

| Preattestation_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. delegate : Tezos_protocol_environment_023_PtSeouLo.Signature.public_key_hash;
3. consensus_key : Tezos_protocol_environment_023_PtSeouLo.Signature.public_key_hash;
4. consensus_power : int;
} -> Alpha_context.Kind.preattestation contents_result
| Attestation_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. delegate : Tezos_protocol_environment_023_PtSeouLo.Signature.public_key_hash;
3. consensus_key : Tezos_protocol_environment_023_PtSeouLo.Signature.public_key_hash;
4. consensus_power : int;
} -> Alpha_context.Kind.attestation contents_result
| Preattestations_aggregate_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. committee : (Alpha_context.Consensus_key.t * int) list;
3. total_consensus_power : int;
} -> Alpha_context.Kind.preattestations_aggregate contents_result
| Attestations_aggregate_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. committee : (Alpha_context.Consensus_key.t * int) list;
3. total_consensus_power : int;
} -> Alpha_context.Kind.attestations_aggregate contents_result
| Seed_nonce_revelation_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.seed_nonce_revelation contents_result
| Vdf_revelation_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.vdf_revelation contents_result
| Double_consensus_operation_evidence_result : double_signing_result -> Alpha_context.Kind.double_consensus_operation_evidence contents_result
| Double_baking_evidence_result : double_signing_result -> Alpha_context.Kind.double_baking_evidence contents_result
| Dal_entrapment_evidence_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
} -> Alpha_context.Kind.dal_entrapment_evidence contents_result
| Activate_account_result : Alpha_context.Receipt.balance_updates -> Alpha_context.Kind.activate_account contents_result
| Proposals_result : Alpha_context.Kind.proposals contents_result
| Ballot_result : Alpha_context.Kind.ballot contents_result
| Drain_delegate_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. allocated_destination_contract : bool;
} -> Alpha_context.Kind.drain_delegate contents_result
| Manager_operation_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. operation_result : 'kind manager_operation_result;
3. internal_operation_results : Apply_internal_results.packed_internal_operation_result list;
} -> 'kind Alpha_context.Kind.manager contents_result

Result of applying an Operation.contents. Follows the same structure.

and packed_contents_result =

| Contents_result : 'kind contents_result -> packed_contents_result

and 'kind manager_operation_result =
  ('kind,
    'kind Alpha_context.Kind.manager,
    'kind successful_manager_operation_result)
    Apply_operation_result.operation_result

and successful_transaction_result =
  Apply_internal_results.successful_transaction_result

Result of applying a transaction.

and successful_origination_result =
  Apply_internal_results.successful_origination_result

Result of applying an origination.

and _ successful_manager_operation_result =

| Reveal_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.reveal successful_manager_operation_result
| Transaction_result : successful_transaction_result -> Alpha_context.Kind.transaction successful_manager_operation_result
| Origination_result : successful_origination_result -> Alpha_context.Kind.origination successful_manager_operation_result
| Delegation_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
2. balance_updates : Alpha_context.Receipt.balance_updates;
} -> Alpha_context.Kind.delegation successful_manager_operation_result
| Register_global_constant_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. consumed_gas : Alpha_context.Gas.Arith.fp;
3. size_of_constant : Tezos_protocol_environment_023_PtSeouLo.Z.t;
4. global_address : Script_expr_hash.t;
} -> Alpha_context.Kind.register_global_constant successful_manager_operation_result
| Set_deposits_limit_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.set_deposits_limit successful_manager_operation_result
| Increase_paid_storage_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.increase_paid_storage successful_manager_operation_result
| Update_consensus_key_result : {
1. kind : Operation_repr.consensus_key_kind;
2. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.update_consensus_key successful_manager_operation_result
| Transfer_ticket_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. ticket_receipt : Ticket_receipt.t;
3. consumed_gas : Alpha_context.Gas.Arith.fp;
4. paid_storage_size_diff : Tezos_protocol_environment_023_PtSeouLo.Z.t;
} -> Alpha_context.Kind.transfer_ticket successful_manager_operation_result
| Dal_publish_commitment_result : {
1. slot_header : Alpha_context.Dal.Slot.Header.t;
2. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.dal_publish_commitment successful_manager_operation_result
| Sc_rollup_originate_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. address : Alpha_context.Sc_rollup.Address.t;
3. genesis_commitment_hash : Alpha_context.Sc_rollup.Commitment.Hash.t;
4. consumed_gas : Alpha_context.Gas.Arith.fp;
5. size : Tezos_protocol_environment_023_PtSeouLo.Z.t;
} -> Alpha_context.Kind.sc_rollup_originate successful_manager_operation_result
| Sc_rollup_add_messages_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.sc_rollup_add_messages successful_manager_operation_result
| Sc_rollup_cement_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
2. inbox_level : Alpha_context.Raw_level.t;
3. commitment_hash : Alpha_context.Sc_rollup.Commitment.Hash.t;
} -> Alpha_context.Kind.sc_rollup_cement successful_manager_operation_result
| Sc_rollup_publish_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
2. staked_hash : Alpha_context.Sc_rollup.Commitment.Hash.t;
3. published_at_level : Alpha_context.Raw_level.t;
4. balance_updates : Alpha_context.Receipt.balance_updates;
} -> Alpha_context.Kind.sc_rollup_publish successful_manager_operation_result
| Sc_rollup_refute_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
2. game_status : Alpha_context.Sc_rollup.Game.status;
3. balance_updates : Alpha_context.Receipt.balance_updates;
} -> Alpha_context.Kind.sc_rollup_refute successful_manager_operation_result
| Sc_rollup_timeout_result : {
1. consumed_gas : Alpha_context.Gas.Arith.fp;
2. game_status : Alpha_context.Sc_rollup.Game.status;
3. balance_updates : Alpha_context.Receipt.balance_updates;
} -> Alpha_context.Kind.sc_rollup_timeout successful_manager_operation_result
| Sc_rollup_execute_outbox_message_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. ticket_receipt : Ticket_receipt.t;
3. whitelist_update : Alpha_context.Sc_rollup.Whitelist.update option;
4. consumed_gas : Alpha_context.Gas.Arith.fp;
5. paid_storage_size_diff : Tezos_protocol_environment_023_PtSeouLo.Z.t;
} -> Alpha_context.Kind.sc_rollup_execute_outbox_message successful_manager_operation_result
| Sc_rollup_recover_bond_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. consumed_gas : Alpha_context.Gas.Arith.fp;
} -> Alpha_context.Kind.sc_rollup_recover_bond successful_manager_operation_result
| Zk_rollup_origination_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. originated_zk_rollup : Alpha_context.Zk_rollup.t;
3. consumed_gas : Alpha_context.Gas.Arith.fp;
4. storage_size : Tezos_protocol_environment_023_PtSeouLo.Z.t;
} -> Alpha_context.Kind.zk_rollup_origination successful_manager_operation_result
| Zk_rollup_publish_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. consumed_gas : Alpha_context.Gas.Arith.fp;
3. paid_storage_size_diff : Tezos_protocol_environment_023_PtSeouLo.Z.t;
} -> Alpha_context.Kind.zk_rollup_publish successful_manager_operation_result
| Zk_rollup_update_result : {
1. balance_updates : Alpha_context.Receipt.balance_updates;
2. consumed_gas : Alpha_context.Gas.Arith.fp;
3. paid_storage_size_diff : Tezos_protocol_environment_023_PtSeouLo.Z.t;
} -> Alpha_context.Kind.zk_rollup_update successful_manager_operation_result

Result of applying an external manager_operation_content.

and packed_successful_manager_operation_result =

| Successful_manager_result : 'kind successful_manager_operation_result -> packed_successful_manager_operation_result

val pack_migration_operation_results : 
  Alpha_context.Migration.origination_result list ->
  packed_successful_manager_operation_result list

val operation_metadata_encoding : 
  packed_operation_metadata
    Tezos_protocol_environment_023_PtSeouLo.Data_encoding.t

Serializer for packed_operation_result.

val operation_data_and_metadata_encoding : 
  (Alpha_context.Operation.packed_protocol_data * packed_operation_metadata)
    Tezos_protocol_environment_023_PtSeouLo.Data_encoding.t

type 'kind contents_and_result_list =

| Single_and_result : 'kind Alpha_context.contents * 'kind contents_result -> 'kind contents_and_result_list
| Cons_and_result : 'kind Alpha_context.Kind.manager Alpha_context.contents * 'kind Alpha_context.Kind.manager contents_result * 'rest Alpha_context.Kind.manager contents_and_result_list -> ('kind * 'rest) Alpha_context.Kind.manager contents_and_result_list

type packed_contents_and_result_list =

| Contents_and_result_list : 'kind contents_and_result_list -> packed_contents_and_result_list

val contents_and_result_list_encoding : 
  packed_contents_and_result_list
    Tezos_protocol_environment_023_PtSeouLo.Data_encoding.t

val pack_contents_list : 
  'kind Alpha_context.contents_list ->
  'kind contents_result_list ->
  'kind contents_and_result_list

val unpack_contents_list : 
  'kind contents_and_result_list ->
  'kind Alpha_context.contents_list * 'kind contents_result_list

val to_list : packed_contents_result_list -> packed_contents_result list

type ('a, 'b) eq =

| Eq : ('a, 'a) eq

val kind_equal_list : 
  'kind Alpha_context.contents_list ->
  'kind2 contents_result_list ->
  ('kind, 'kind2) eq option

type block_metadata = {

proposer : Alpha_context.Consensus_key.t;
baker : Alpha_context.Consensus_key.t;
level_info : Alpha_context.Level.t;
voting_period_info : Alpha_context.Voting_period.info;
nonce_hash : Nonce_hash.t option;
consumed_gas : Alpha_context.Gas.Arith.fp;
deactivated : Tezos_protocol_environment_023_PtSeouLo.Signature.Public_key_hash.t list;
balance_updates : Alpha_context.Receipt.balance_updates;
liquidity_baking_toggle_ema : Alpha_context.Per_block_votes.Liquidity_baking_toggle_EMA.t;
adaptive_issuance_vote_ema : Alpha_context.Per_block_votes.Adaptive_issuance_launch_EMA.t;
adaptive_issuance_launch_cycle : Alpha_context.Cycle.t option;
implicit_operations_results : packed_successful_manager_operation_result list;
dal_attestation : Alpha_context.Dal.Attestation.t;

}

val block_metadata_encoding : 
  block_metadata Tezos_protocol_environment_023_PtSeouLo.Data_encoding.encoding