Module Mavryk_protocol_environment_alpha.Wasm_2_0_0

val v4 : version
type input = Mavryk_scoru_wasm.Wasm_pvm_state.input_info = {
  1. inbox_level : Bounded.Non_negative_int32.t;
  2. message_counter : Z.t;
}
type output = Mavryk_scoru_wasm.Wasm_pvm_state.output_info = {
  1. outbox_level : Bounded.Non_negative_int32.t;
  2. message_index : Z.t;
}
type reveal = Mavryk_scoru_wasm.Wasm_pvm_state.reveal =
  1. | Reveal_raw of string
type input_request = Mavryk_scoru_wasm.Wasm_pvm_state.input_request =
  1. | No_input_required
  2. | Input_required
  3. | Reveal_required of reveal
type info = Mavryk_scoru_wasm.Wasm_pvm_state.info = {
  1. current_tick : Z.t;
  2. last_input_read : input option;
  3. input_request : input_request;
}
module Make (Tree : sig ... end) : sig ... end