package tezos-protocol-006-PsCARTHA
type 'b case = | Case : {tag : int;name : string;encoding : 'a Tezos_protocol_environment_006_PsCARTHA.Data_encoding.t;select : packed_contents -> 'b contents option;proj : 'b contents -> 'a;inj : 'a -> 'b contents;
} -> 'b case
val endorsement_case : Kind.endorsement caseval seed_nonce_revelation_case : Kind.seed_nonce_revelation 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 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 casemodule Manager_operations : sig ... end