Simplify.Response
type t =
| Simp of Imandra_surface.Term.t
| Clause of Imandra_surface.Term.t list
val pp : Ppx_deriving_runtime.Format.formatter -> t -> Ppx_deriving_runtime.unit
val show : t -> Ppx_deriving_runtime.string