package tezos-protocol-012-Psithaca
type 'b case = | Case : {tag : int;name : string;encoding : 'a Tezos_protocol_environment_012_Psithaca.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 seed_nonce_revelation_case : Kind.seed_nonce_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 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 register_global_constant_case :
Kind.register_global_constant Kind.manager caseval set_deposits_limit_case : Kind.set_deposits_limit Kind.manager casemodule Manager_operations : sig ... end