Validate.Query
type t = {
evs : Imandra_surface.Event.op list;
txn : Txn.t;
}
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string
val make : txn:Txn.t -> Imandra_surface.Event.op list -> t
val print : Stdlib.Format.formatter -> t -> unit