Imandra_protocol.Cache_upload
type query =
| Q_propose of {
keys : CCh.key list;
}
type response =
| R_upload of {
entries : CCh.pair list;
val pp_query : Fmt.t -> query -> unit
val pp_response : Fmt.t -> response -> unit