Module Ketrew_pure.Protocol.Down_message

module Down_message: sig .. end

type t = [ `Deferred_list_of_target_ids of string * int
| `List_of_query_descriptions of (string * string) list
| `List_of_target_flat_states of (string * Target.State.Flat.t) list * float
| `List_of_target_ids of string list * float
| `List_of_target_summaries of (string * Target.Summary.t) list
| `List_of_targets of Target.t list
| `Missing_deferred
| `Notifications of (float * string) list
| `Ok
| `Process of Ketrew_pure.Protocol.Process_sub_protocol.down
| `Query_error of string
| `Query_result of string
| `Server_status of Ketrew_pure.Protocol.Server_status.t ]
include Json.Versioned.WITH_VERSIONED_SERIALIZATION