package tezos-protocol-alpha
type 'b case = | MCase : {tag : int;name : string;encoding : 'a Tezos_protocol_environment_alpha.Data_encoding.t;select : packed_manager_operation -> 'kind manager_operation option;proj : 'kind manager_operation -> 'a;inj : 'a -> 'kind manager_operation;
} -> 'kind case
val reveal_case : Kind.reveal caseval transaction_case : Kind.transaction caseval origination_case : Kind.origination caseval delegation_case : Kind.delegation caseval update_consensus_key_case : Kind.update_consensus_key caseval register_global_constant_case : Kind.register_global_constant caseval set_deposits_limit_case : Kind.set_deposits_limit caseval increase_paid_storage_case : Kind.increase_paid_storage caseval transfer_ticket_case : Kind.transfer_ticket caseval dal_publish_commitment_case : Kind.dal_publish_commitment caseval sc_rollup_originate_case : Kind.sc_rollup_originate caseval sc_rollup_add_messages_case : Kind.sc_rollup_add_messages caseval sc_rollup_cement_case : Kind.sc_rollup_cement caseval sc_rollup_publish_case : Kind.sc_rollup_publish caseval sc_rollup_refute_case : Kind.sc_rollup_refute caseval sc_rollup_timeout_case : Kind.sc_rollup_timeout caseval sc_rollup_execute_outbox_message_case :
Kind.sc_rollup_execute_outbox_message caseval sc_rollup_recover_bond_case : Kind.sc_rollup_recover_bond caseval zk_rollup_origination_case : Kind.zk_rollup_origination caseval zk_rollup_publish_case : Kind.zk_rollup_publish caseval zk_rollup_update_case : Kind.zk_rollup_update case