Module Make.Wasm_2_0_0

val v1 : version
type input = Tezos_scoru_wasm.Wasm_pvm_state.input_info = {
  1. inbox_level : Bounded.Non_negative_int32.t;
  2. message_counter : Z.t;
}
type output = Tezos_scoru_wasm.Wasm_pvm_state.output_info = {
  1. outbox_level : Bounded.Non_negative_int32.t;
  2. message_index : Z.t;
}
type reveal = Tezos_scoru_wasm.Wasm_pvm_state.Compatibility.reveal =
  1. | Reveal_raw_data of reveal_hash
  2. | Reveal_metadata
type input_request =
  1. | No_input_required
  2. | Input_required
  3. | Reveal_required of reveal
type info = {
  1. current_tick : Z.t;
  2. last_input_read : input option;
  3. input_request : input_request;
}
module Make (Tree : Context.TREE with type key = string list and type value = bytes) : sig ... end