(*******************************)
(* Generated Session Interface *)
(*******************************)
open Data

type principal=string


type vars = {
  c : principal ;
  w : principal ;
  q : string ;
  x : int }
type hashes = {
  hc : bytes ;
  hw : bytes ;
  hq : bytes ;
  hx : bytes }
type macs = {
  wQueryqcw : bytes ;
  cReplyx : bytes }
type keys = {
  key_cw : bytes ;
  key_wc : bytes }
type header = {
  ts : int ;
  sid : bytes }
type store = 
  { vars : vars ; hashes : hashes ; macs : macs ; keys : keys ; header :  header}
val empty_store_c : principal -> bool -> store
val empty_store_w : principal -> bool -> store

type preds = 
| Send_Query of (principal * bytes * int* string * principal * principal)
| Send_Reply of (principal * bytes * int* int)
| Recv_Query of (principal * bytes * int * string * principal * principal)
| Recv_Reply of (principal * bytes * int * int)



type wired_w_start =
  | Wired_in_w_start_of_c_qcwQuery_qcw__ of (string * principal * principal) * store

type wired_c_qcwQuery =
  | Wired_in_c_qcwQuery_of_w_xReply_qcwQuery_x__ of (int) * store
val receiveWired_w_start: store -> wired_w_start

val receiveWired_c_qcwQuery: store -> wired_c_qcwQuery
 val sendWired_Query_c_start: string -> principal -> principal ->  store -> store

 val sendWired_Reply_w_qcwQuery: int ->  store -> store