package octez-proto-libs
type version = Tezos_scoru_wasm.Wasm_pvm_state.versionval v4 : versiontype input = Tezos_scoru_wasm.Wasm_pvm_state.input_info = {inbox_level : Bounded.Non_negative_int32.t;message_counter : Z.t;
}type output = Tezos_scoru_wasm.Wasm_pvm_state.output_info = {outbox_level : Bounded.Non_negative_int32.t;message_index : Z.t;
}type input_request = Tezos_scoru_wasm.Wasm_pvm_state.input_request = | No_input_required| Input_required| Reveal_required of reveal
type info = Tezos_scoru_wasm.Wasm_pvm_state.info = {current_tick : Z.t;last_input_read : input option;input_request : input_request;
}module Make
(Tree : Context.TREE with type key = string list and type value = bytes) :
sig ... end