Client_response (imandra-base.Imandra_protocol.Client

type t = private {

view : view;

stamp : Stamp.t;

}

and view =

| R_user_input of string

| R_cache_upload of Cache_upload.response

val pp : 
  Ppx_deriving_runtime.Format.formatter ->
  t ->
  Ppx_deriving_runtime.unit

val show : t -> Ppx_deriving_runtime.string

val pp_view : 
  Ppx_deriving_runtime.Format.formatter ->
  view ->
  Ppx_deriving_runtime.unit

val show_view : view -> Ppx_deriving_runtime.string

val make : ?stamp:Stamp.t -> view -> t

val serialize : t Imandra_util.Serialize.t