Opam Package tezos-protocol-alpha.8.2

Package info

opam-nametezos-protocol-alpha
opam-version8.2
synopsisTezos/Protocol: economic-protocol definition
authors
  • Tezos devteam
homepagehttps://www.tezos.com/
licenseMIT
deps (2)
revdeps (3)
metas (3)
libraries (3)

Package modules

Package sources

tezos-protocol-alpha

Package files

lib/tezos-protocol-alpha/tezos_protocol_alpha__Protocol.cmx
lib/tezos-protocol-alpha/tezos_protocol_alpha__Protocol.cmt
lib/tezos-protocol-alpha/tezos_protocol_alpha__Protocol.cmi
lib/tezos-protocol-alpha/tezos_protocol_alpha.ml
lib/tezos-protocol-alpha/tezos_protocol_alpha.cmxs
lib/tezos-protocol-alpha/tezos_protocol_alpha.cmxa
lib/tezos-protocol-alpha/tezos_protocol_alpha.cmx
lib/tezos-protocol-alpha/tezos_protocol_alpha.cmt
lib/tezos-protocol-alpha/tezos_protocol_alpha.cmi
lib/tezos-protocol-alpha/tezos_protocol_alpha.cma
lib/tezos-protocol-alpha/tezos_protocol_alpha.a
lib/tezos-protocol-alpha/raw/voting_services.mli
lib/tezos-protocol-alpha/raw/voting_services.ml
lib/tezos-protocol-alpha/raw/voting_period_repr.mli
lib/tezos-protocol-alpha/raw/voting_period_repr.ml
lib/tezos-protocol-alpha/raw/vote_storage.mli
lib/tezos-protocol-alpha/raw/vote_storage.ml
lib/tezos-protocol-alpha/raw/vote_repr.mli
lib/tezos-protocol-alpha/raw/vote_repr.ml
lib/tezos-protocol-alpha/raw/time_repr.mli
lib/tezos-protocol-alpha/raw/time_repr.ml
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_services.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_services.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_services.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_services.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_period_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_period_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_period_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Voting_period_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Vote_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Time_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Time_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Time_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Time_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Tez_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Tez_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Tez_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Tez_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_sigs.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_sigs.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_sigs.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_functors.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_functors.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_functors.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_functors.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_description.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_description.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_description.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_description.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_costs.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_costs.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_costs.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage_costs.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__State_hash.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__State_hash.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__State_hash.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Services_registration.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Services_registration.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Services_registration.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Seed_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_typed_ir.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_typed_ir.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_typed_ir.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_timestamp_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_timestamp_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_timestamp_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_timestamp_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_tc_errors_registration.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_tc_errors_registration.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_tc_errors_registration.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_tc_errors.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_tc_errors.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_tc_errors.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_translator.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_translator.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_translator.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_translator.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_annot.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_annot.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_annot.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_ir_annot.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_interpreter.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_interpreter.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_interpreter.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_interpreter.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_int_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_int_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_int_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_int_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_expr_hash.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_expr_hash.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Script_expr_hash.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Roll_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_level_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_level_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_level_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_level_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_context.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_context.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_context.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Raw_context.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Qty_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Qty_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Qty_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Period_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Period_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Period_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Period_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Parameters_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Parameters_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Parameters_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Parameters_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Operation_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Operation_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Operation_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Operation_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Nonce_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Nonce_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Nonce_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Nonce_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Nonce_hash.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Nonce_hash.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Nonce_hash.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Misc.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Misc.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Misc.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Misc.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_primitives.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_primitives.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_primitives.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_primitives.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_gas.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_gas.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_gas.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Michelson_v1_gas.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Manager_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Manager_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Manager_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Manager_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Main.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Main.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Main.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Main.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Level_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Legacy_script_support_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Legacy_script_support_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Legacy_script_support_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Legacy_script_support_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Init_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Init_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Init_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Helpers_services.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Helpers_services.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Helpers_services.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Helpers_services.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Gas_limit_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Gas_limit_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Gas_limit_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Gas_limit_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fixed_point_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fixed_point_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fixed_point_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fixed_point_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fitness_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fitness_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fitness_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fitness_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fitness_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fitness_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fees_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fees_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fees_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Fees_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_services.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_services.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_services.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Delegate_services.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Cycle_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Cycle_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Cycle_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Cycle_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_services.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_services.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_services.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_services.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_hash.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_hash.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Contract_hash.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_services.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_services.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_services.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_services.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Constants_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Commitment_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Bootstrap_storage.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Bootstrap_storage.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Bootstrap_storage.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Bootstrap_storage.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Block_header_repr.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Block_header_repr.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Block_header_repr.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Block_header_repr.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Blinded_public_key_hash.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Blinded_public_key_hash.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Blinded_public_key_hash.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Blinded_public_key_hash.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Baking.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Baking.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Baking.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Baking.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Apply_results.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Apply_results.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Apply_results.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Apply_results.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Apply.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Apply.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Apply.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Amendment.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Amendment.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Amendment.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Amendment.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_services.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_services.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_services.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_services.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_context.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_context.cmti
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_context.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha__Alpha_context.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.ml
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.cmxs
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.cmxa
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.cmx
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.cmt
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.cmi
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.cma
lib/tezos-protocol-alpha/raw/tezos_raw_protocol_alpha.a
lib/tezos-protocol-alpha/raw/tez_repr.mli
lib/tezos-protocol-alpha/raw/tez_repr.ml
lib/tezos-protocol-alpha/raw/storage_sigs.ml
lib/tezos-protocol-alpha/raw/storage_functors.mli
lib/tezos-protocol-alpha/raw/storage_functors.ml
lib/tezos-protocol-alpha/raw/storage_description.mli
lib/tezos-protocol-alpha/raw/storage_description.ml
lib/tezos-protocol-alpha/raw/storage_costs.mli
lib/tezos-protocol-alpha/raw/storage_costs.ml
lib/tezos-protocol-alpha/raw/storage.mli
lib/tezos-protocol-alpha/raw/storage.ml
lib/tezos-protocol-alpha/raw/state_hash.ml
lib/tezos-protocol-alpha/raw/services_registration.ml
lib/tezos-protocol-alpha/raw/seed_storage.mli
lib/tezos-protocol-alpha/raw/seed_storage.ml
lib/tezos-protocol-alpha/raw/seed_repr.mli
lib/tezos-protocol-alpha/raw/seed_repr.ml
lib/tezos-protocol-alpha/raw/script_typed_ir.ml
lib/tezos-protocol-alpha/raw/script_timestamp_repr.mli
lib/tezos-protocol-alpha/raw/script_timestamp_repr.ml
lib/tezos-protocol-alpha/raw/script_tc_errors_registration.ml
lib/tezos-protocol-alpha/raw/script_tc_errors.ml
lib/tezos-protocol-alpha/raw/script_repr.mli
lib/tezos-protocol-alpha/raw/script_repr.ml
lib/tezos-protocol-alpha/raw/script_ir_translator.mli
lib/tezos-protocol-alpha/raw/script_ir_translator.ml
lib/tezos-protocol-alpha/raw/script_ir_annot.mli
lib/tezos-protocol-alpha/raw/script_ir_annot.ml
lib/tezos-protocol-alpha/raw/script_interpreter.mli
lib/tezos-protocol-alpha/raw/script_interpreter.ml
lib/tezos-protocol-alpha/raw/script_int_repr.mli
lib/tezos-protocol-alpha/raw/script_int_repr.ml
lib/tezos-protocol-alpha/raw/script_expr_hash.ml
lib/tezos-protocol-alpha/raw/roll_storage.mli
lib/tezos-protocol-alpha/raw/roll_storage.ml
lib/tezos-protocol-alpha/raw/roll_repr.mli
lib/tezos-protocol-alpha/raw/roll_repr.ml
lib/tezos-protocol-alpha/raw/raw_level_repr.mli
lib/tezos-protocol-alpha/raw/raw_level_repr.ml
lib/tezos-protocol-alpha/raw/raw_context.mli
lib/tezos-protocol-alpha/raw/raw_context.ml
lib/tezos-protocol-alpha/raw/qty_repr.ml
lib/tezos-protocol-alpha/raw/period_repr.mli
lib/tezos-protocol-alpha/raw/period_repr.ml
lib/tezos-protocol-alpha/raw/parameters_repr.mli
lib/tezos-protocol-alpha/raw/parameters_repr.ml
lib/tezos-protocol-alpha/raw/operation_repr.mli
lib/tezos-protocol-alpha/raw/operation_repr.ml
lib/tezos-protocol-alpha/raw/nonce_storage.mli
lib/tezos-protocol-alpha/raw/nonce_storage.ml
lib/tezos-protocol-alpha/raw/nonce_hash.ml
lib/tezos-protocol-alpha/raw/misc.mli
lib/tezos-protocol-alpha/raw/misc.ml
lib/tezos-protocol-alpha/raw/michelson_v1_primitives.mli
lib/tezos-protocol-alpha/raw/michelson_v1_primitives.ml
lib/tezos-protocol-alpha/raw/michelson_v1_gas.mli
lib/tezos-protocol-alpha/raw/michelson_v1_gas.ml
lib/tezos-protocol-alpha/raw/manager_repr.mli
lib/tezos-protocol-alpha/raw/manager_repr.ml
lib/tezos-protocol-alpha/raw/main.mli
lib/tezos-protocol-alpha/raw/main.ml
lib/tezos-protocol-alpha/raw/level_storage.mli
lib/tezos-protocol-alpha/raw/level_storage.ml
lib/tezos-protocol-alpha/raw/level_repr.mli
lib/tezos-protocol-alpha/raw/level_repr.ml
lib/tezos-protocol-alpha/raw/legacy_script_support_repr.mli
lib/tezos-protocol-alpha/raw/legacy_script_support_repr.ml
lib/tezos-protocol-alpha/raw/init_storage.ml
lib/tezos-protocol-alpha/raw/helpers_services.mli
lib/tezos-protocol-alpha/raw/helpers_services.ml
lib/tezos-protocol-alpha/raw/gas_limit_repr.mli
lib/tezos-protocol-alpha/raw/gas_limit_repr.ml
lib/tezos-protocol-alpha/raw/fixed_point_repr.mli
lib/tezos-protocol-alpha/raw/fixed_point_repr.ml
lib/tezos-protocol-alpha/raw/fitness_storage.ml
lib/tezos-protocol-alpha/raw/fitness_repr.ml
lib/tezos-protocol-alpha/raw/fees_storage.mli
lib/tezos-protocol-alpha/raw/fees_storage.ml
lib/tezos-protocol-alpha/raw/delegate_storage.mli
lib/tezos-protocol-alpha/raw/delegate_storage.ml
lib/tezos-protocol-alpha/raw/delegate_services.mli
lib/tezos-protocol-alpha/raw/delegate_services.ml
lib/tezos-protocol-alpha/raw/cycle_repr.mli
lib/tezos-protocol-alpha/raw/cycle_repr.ml
lib/tezos-protocol-alpha/raw/contract_storage.mli
lib/tezos-protocol-alpha/raw/contract_storage.ml
lib/tezos-protocol-alpha/raw/contract_services.mli
lib/tezos-protocol-alpha/raw/contract_services.ml
lib/tezos-protocol-alpha/raw/contract_repr.mli
lib/tezos-protocol-alpha/raw/contract_repr.ml
lib/tezos-protocol-alpha/raw/contract_hash.ml
lib/tezos-protocol-alpha/raw/constants_storage.ml
lib/tezos-protocol-alpha/raw/constants_services.mli
lib/tezos-protocol-alpha/raw/constants_services.ml
lib/tezos-protocol-alpha/raw/constants_repr.ml
lib/tezos-protocol-alpha/raw/commitment_storage.mli
lib/tezos-protocol-alpha/raw/commitment_storage.ml
lib/tezos-protocol-alpha/raw/commitment_repr.mli
lib/tezos-protocol-alpha/raw/commitment_repr.ml
lib/tezos-protocol-alpha/raw/bootstrap_storage.mli
lib/tezos-protocol-alpha/raw/bootstrap_storage.ml
lib/tezos-protocol-alpha/raw/block_header_repr.mli
lib/tezos-protocol-alpha/raw/block_header_repr.ml
lib/tezos-protocol-alpha/raw/blinded_public_key_hash.mli
lib/tezos-protocol-alpha/raw/blinded_public_key_hash.ml
lib/tezos-protocol-alpha/raw/baking.mli
lib/tezos-protocol-alpha/raw/baking.ml
lib/tezos-protocol-alpha/raw/apply_results.mli
lib/tezos-protocol-alpha/raw/apply_results.ml
lib/tezos-protocol-alpha/raw/apply.ml
lib/tezos-protocol-alpha/raw/amendment.mli
lib/tezos-protocol-alpha/raw/amendment.ml
lib/tezos-protocol-alpha/raw/alpha_services.mli
lib/tezos-protocol-alpha/raw/alpha_services.ml
lib/tezos-protocol-alpha/raw/alpha_context.mli
lib/tezos-protocol-alpha/raw/alpha_context.ml
lib/tezos-protocol-alpha/raw/TEZOS_PROTOCOL
lib/tezos-protocol-alpha/raw
lib/tezos-protocol-alpha/protocol.ml
lib/tezos-protocol-alpha/opam
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha__Environment.cmx
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha__Environment.cmt
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha__Environment.cmi
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.ml
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.cmxs
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.cmxa
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.cmx
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.cmt
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.cmi
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.cma
lib/tezos-protocol-alpha/environment/tezos_protocol_environment_alpha.a
lib/tezos-protocol-alpha/environment/environment.ml
lib/tezos-protocol-alpha/environment
lib/tezos-protocol-alpha/dune-package
lib/tezos-protocol-alpha/META
lib/tezos-protocol-alpha