Module Simulation.Encodings

type eval_result = {
  1. state_hash : string;
  2. status : string;
  3. output : unit;
  4. inbox_level : unit;
  5. num_ticks : Z.t;
  6. insights : bytes list;
    (*

    The simulation can ask to look at values on the state after the simulation.

    *)
}
type insight_request =
  1. | Pvm_state_key of string list
  2. | Durable_storage_key of string list
type simulate_input = {
  1. messages : string list;
  2. reveal_pages : string list option;
  3. insight_requests : insight_request list;
  4. log_kernel_debug_file : string option;
}
module type RLP_DECODING = sig ... end
module Rlp_decoding : sig ... end