Imandra_interactive.Coredump
type json = Yojson.Basic.t
type t
type syntax = Imandra_syntax.Syntax.t
val enable : unit -> unit
start storing executed code
val into_file : string option -> unit
dump into file, if anything
val to_json : unit -> json option
val of_json : json -> ( t, string ) Stdlib.result
val events : t -> Imandra_surface.Code_fragment.t list
pieces of code evaluated
val replay_json : scope:Opentelemetry.Trace.scope option -> json -> unit
eval all items in coredump
val replay_file : scope:Opentelemetry.Trace.scope option -> string -> unit