package tezos-protocol-012-Psithaca
type 'a consensus = | Preendorsement_kind : preendorsement_consensus_kind consensus| Endorsement_kind : endorsement_consensus_kind consensus
type preendorsement = preendorsement_consensus_kind consensustype endorsement = endorsement_consensus_kind consensustype double_endorsement_evidence =
endorsement_consensus_kind double_consensus_operation_evidencetype double_preendorsement_evidence =
preendorsement_consensus_kind double_consensus_operation_evidencetype 'a manager = | Reveal_manager_kind : reveal manager| Transaction_manager_kind : transaction manager| Origination_manager_kind : origination manager| Delegation_manager_kind : delegation manager| Register_global_constant_manager_kind : register_global_constant manager| Set_deposits_limit_manager_kind : set_deposits_limit manager