package tezos-protocol-015-PtLimaPt
type 'b case = | Case : {tag : int;name : string;encoding : 'a Tezos_protocol_environment_015_PtLimaPt.Data_encoding.t;select : packed_contents -> 'b contents option;proj : 'b contents -> 'a;inj : 'a -> 'b contents;
} -> 'b case
val preendorsement_case : Kind.preendorsement caseval endorsement_case : Kind.endorsement caseval dal_slot_availability_case : Kind.dal_slot_availability caseval seed_nonce_revelation_case : Kind.seed_nonce_revelation caseval vdf_revelation_case : Kind.vdf_revelation caseval double_preendorsement_evidence_case :
Kind.double_preendorsement_evidence caseval double_endorsement_evidence_case : Kind.double_endorsement_evidence caseval double_baking_evidence_case : Kind.double_baking_evidence caseval activate_account_case : Kind.activate_account caseval proposals_case : Kind.proposals caseval ballot_case : Kind.ballot caseval drain_delegate_case : Kind.drain_delegate caseval failing_noop_case : Kind.failing_noop caseval reveal_case : Kind.reveal Kind.manager caseval transaction_case : Kind.transaction Kind.manager caseval origination_case : Kind.origination Kind.manager caseval delegation_case : Kind.delegation Kind.manager caseval update_consensus_key_case : Kind.update_consensus_key Kind.manager caseval tx_rollup_origination_case : Kind.tx_rollup_origination Kind.manager caseval tx_rollup_submit_batch_case : Kind.tx_rollup_submit_batch Kind.manager caseval tx_rollup_commit_case : Kind.tx_rollup_commit Kind.manager caseval tx_rollup_return_bond_case : Kind.tx_rollup_return_bond Kind.manager caseval tx_rollup_finalize_commitment_case :
Kind.tx_rollup_finalize_commitment Kind.manager caseval tx_rollup_remove_commitment_case :
Kind.tx_rollup_remove_commitment Kind.manager caseval tx_rollup_rejection_case : Kind.tx_rollup_rejection Kind.manager caseval tx_rollup_dispatch_tickets_case :
Kind.tx_rollup_dispatch_tickets Kind.manager caseval transfer_ticket_case : Kind.transfer_ticket Kind.manager caseval dal_publish_slot_header_case :
Kind.dal_publish_slot_header Kind.manager caseval register_global_constant_case :
Kind.register_global_constant Kind.manager caseval set_deposits_limit_case : Kind.set_deposits_limit Kind.manager caseval increase_paid_storage_case : Kind.increase_paid_storage Kind.manager caseval sc_rollup_originate_case : Kind.sc_rollup_originate Kind.manager caseval sc_rollup_add_messages_case : Kind.sc_rollup_add_messages Kind.manager caseval sc_rollup_cement_case : Kind.sc_rollup_cement Kind.manager caseval sc_rollup_publish_case : Kind.sc_rollup_publish Kind.manager caseval sc_rollup_refute_case : Kind.sc_rollup_refute Kind.manager caseval sc_rollup_timeout_case : Kind.sc_rollup_timeout Kind.manager caseval sc_rollup_execute_outbox_message_case :
Kind.sc_rollup_execute_outbox_message Kind.manager caseval sc_rollup_recover_bond_case : Kind.sc_rollup_recover_bond Kind.manager caseval sc_rollup_dal_slot_subscribe_case :
Kind.sc_rollup_dal_slot_subscribe Kind.manager caseval zk_rollup_origination_case : Kind.zk_rollup_origination Kind.manager caseval zk_rollup_publish_case : Kind.zk_rollup_publish Kind.manager casemodule Manager_operations : sig ... end