summaryrefslogtreecommitdiff
path: root/src/message.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/message.ml')
-rw-r--r--src/message.ml11
1 files changed, 11 insertions, 0 deletions
diff --git a/src/message.ml b/src/message.ml
new file mode 100644
index 0000000..8f37c08
--- /dev/null
+++ b/src/message.ml
@@ -0,0 +1,11 @@
+type operation = {
+ method_name: string;
+ path: string list option;
+ value: string option;
+ options: (string * string) list option
+} [@@deriving yojson]
+
+type message = {
+ session_id: string;
+ ops: operation list;
+} [@@deriving yojson]