Tezos_raw_protocol_013_PtJakart.Vote_reprtype proposal = Tezos_protocol_environment_013_PtJakart.Protocol_hash.ta protocol change proposal
votes can be for, against or neutral. Neutral serves to count towards a quorum
val ballot_encoding :
ballot Tezos_protocol_environment_013_PtJakart.Data_encoding.t