Verify.Response
val force_lazy : 'a -> unit
type t = Imandra_surface.Top_result.verify_or_instance_result
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string