package tezos-protocol-demo-counter
Tezos/Protocol: demo_counter economic-protocol definition
Install
Dune Dependency
Authors
Maintainers
Sources
tezos-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f
doc/tezos-protocol-demo-counter.environment/Tezos_protocol_environment_demo_counter/Wasm_2_0_0/index.html
Module Tezos_protocol_environment_demo_counter.Wasm_2_0_0Source
Source
type input = Tezos_scoru_wasm.Wasm_pvm_state.input_info = {inbox_level : Bounded.Non_negative_int32.t;message_counter : Z.t;
}Source
type output = Tezos_scoru_wasm.Wasm_pvm_state.output_info = {outbox_level : Bounded.Non_negative_int32.t;message_index : Z.t;
}Source
type reveal = Tezos_scoru_wasm.Wasm_pvm_state.reveal = | Reveal_raw_data of reveal_hash| Reveal_metadata
Source
type info = Tezos_scoru_wasm.Wasm_pvm_state.info = {current_tick : Z.t;last_input_read : input option;input_request : input_request;
}