Module Backend.Mutable_state

type t = Api.mut_state
val from_imm : state -> t
val to_imm : t -> state
val compute_step_many : ?reveal_builtins:reveals -> ?write_debug:write_debug -> ?stop_at_snapshot:bool -> max_steps:int64 -> t -> int64 Lwt.t
val get_tick : t -> Z.t Lwt.t
val get_status : t -> status Lwt.t
val get_message_counter : t -> int64 Lwt.t
val get_current_level : t -> int32 option Lwt.t
val state_hash : t -> hash
val set_input : t -> input -> unit Lwt.t
val get_reveal_request : t -> string Lwt.t
val insert_failure : t -> unit Lwt.t