Module Mavryk_smart_rollup_layer2_alpha.Sc_rollup_services

type eval_result = {
  1. state_hash : Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.State_hash.t;
  2. status : string;
  3. output : Mavryk_protocol_alpha.Protocol.Alpha_context.Sc_rollup.output list;
  4. inbox_level : int32;
  5. num_ticks : Z.t;
  6. insights : bytes option 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 Encodings : sig ... end
module Query : sig ... end
type simulate_query = {
  1. fuel : int64 option;
}
val simulate_query : simulate_query Mavryk_rpc.Query.t
module Block : sig ... end