Module Define.Validate_act

Actions to perform upon validation

type t
val perform : scope:Opentelemetry.Trace.scope option -> ?event_op:( Imandra_surface.Event.op list -> unit ) -> t -> unit
val perform_only_code_fragments : t -> unit
val perform_only_console_capture : t -> unit
val console_cap : t -> Imandra_util.Console.Capture.t
val code_fragments : t -> Imandra_surface.Code_fragment.t list
val event_ops : t -> Imandra_surface.Event.op list
val clear_console_cap : t -> unit