Tezos_raw_protocol_008_PtEdo2Zk (p.tezos-protocol-008-PtEdo2Zk.16.1.doc.tezos-protocol-008-PtEdo2Zk.raw.Tezos_raw_protocol_008

Sourcemodule Alpha_context : sig ... end

Sourcemodule Alpha_services : sig ... end

Sourcemodule Amendment : sig ... end

Only delegates with at least one roll take part in the amendment procedure. It works as follows:

Sourcemodule Apply : sig ... end

Tezos Protocol Implementation - Main Entry Points

Sourcemodule Apply_results : sig ... end

Result of applying an operation, can be used for experimenting with protocol updates, by clients to print out a summary of the operation at pre-injection simulation and at confirmation time, and by block explorers.

Sourcemodule Baking : sig ... end

Sourcemodule Blinded_public_key_hash : sig ... end

Sourcemodule Block_header_repr : sig ... end

Sourcemodule Bootstrap_storage : sig ... end

Sourcemodule Commitment_repr : sig ... end

Sourcemodule Commitment_storage : sig ... end

Sourcemodule Constants_repr : sig ... end

Sourcemodule Constants_services : sig ... end

Sourcemodule Constants_storage : sig ... end

Sourcemodule Contract_hash : sig ... end

Sourcemodule Contract_repr : sig ... end

Sourcemodule Contract_services : sig ... end

Sourcemodule Contract_storage : sig ... end

Sourcemodule Cycle_repr : sig ... end

Sourcemodule Delegate_services : sig ... end

Sourcemodule Delegate_storage : sig ... end

Sourcemodule Fees_storage : sig ... end

Sourcemodule Fitness_repr : sig ... end

Sourcemodule Fitness_storage : sig ... end

Sourcemodule Fixed_point_repr : sig ... end

Sourcemodule Gas_limit_repr : sig ... end

Sourcemodule Helpers_services : sig ... end

Sourcemodule Init_storage : sig ... end

Sourcemodule Lazy_storage_diff : sig ... end

See Lazy_storage_kind for an introduction on lazy storage.

Sourcemodule Lazy_storage_kind : sig ... end

Lazy_storage offers a unified interface for specific Michelson datatype that behave somewhat lazily, because they are intended to be quite big. Instead of serializing/deserializing the whole value to/from the storage, only an identifier is used. The identifier acts like a pointer. When using the value in a Michelson script, some part of it may be read from the storage, and a lightweight diff is computed. The diff is effectively applied to the storage at the end of the execution.

Sourcemodule Level_repr : sig ... end

Sourcemodule Level_storage : sig ... end

Sourcemodule Main : sig ... end

Tezos Protocol Implementation - Protocol Signature Instance

Sourcemodule Manager_repr : sig ... end

Sourcemodule Michelson_v1_gas : sig ... end

Sourcemodule Michelson_v1_primitives : sig ... end

Sourcemodule Misc : sig ... end

Sourcemodule Nonce_hash : sig ... end

Sourcemodule Nonce_storage : sig ... end

Sourcemodule Operation_repr : sig ... end

Sourcemodule Parameters_repr : sig ... end

Sourcemodule Period_repr : sig ... end

Sourcemodule Raw_context : sig ... end

Sourcemodule Raw_level_repr : sig ... end

Sourcemodule Roll_repr : sig ... end

Sourcemodule Roll_storage : sig ... end

Basic roll manipulation.

Sourcemodule Sapling_repr : sig ... end

Sourcemodule Sapling_services : sig ... end

Sourcemodule Sapling_storage : sig ... end

Sourcemodule Sapling_validator : sig ... end

Sourcemodule Script_expr_hash : sig ... end

Sourcemodule Script_int_repr : sig ... end

Sourcemodule Script_interpreter : sig ... end

Sourcemodule Script_ir_annot : sig ... end

Default annotations

Sourcemodule Script_ir_translator : sig ... end

Sourcemodule Script_repr : sig ... end

Sourcemodule Script_tc_errors : sig ... end

Sourcemodule Script_tc_errors_registration : sig ... end

Sourcemodule Script_timestamp_repr : sig ... end

Sourcemodule Script_typed_ir : sig ... end

Sourcemodule Seed_repr : sig ... end

Tezos Protocol Implementation - Random number generation

Sourcemodule Seed_storage : sig ... end

Sourcemodule Services_registration : sig ... end

Sourcemodule State_hash : sig ... end

Sourcemodule Storage : sig ... end

Tezos Protocol Implementation - Typed storage

Sourcemodule Storage_costs : sig ... end

Sourcemodule Storage_description : sig ... end

Sourcemodule Storage_functors : sig ... end

Tezos Protocol Implementation - Typed storage builders.

Sourcemodule Storage_sigs : sig ... end

Sourcemodule Tez_repr : sig ... end

Sourcemodule Time_repr : sig ... end

Sourcemodule Vote_repr : sig ... end

Sourcemodule Vote_storage : sig ... end

Manages all the voting related storage in Storage.Vote.

Sourcemodule Voting_period_repr : sig ... end

Sourcemodule Voting_period_storage : sig ... end

Sourcemodule Voting_services : sig ... end