path: root/src/proto.ml

open Util

(* Protocol definitions *)

type task = unit -> unit
type msg_task = string -> unit
type task_descr = string
type msg_task_descr = string

exception ProtocolError of string

type message =
	| Hello
	| Get of id * msg_task_descr
	| Put of id * string
	| RequestTask
	| GiveTask of task_descr * bool
	| GiveMsgTask of string * msg_task_descr
	| FinalResult of string