aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocol.ml
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2025-01-19 22:09:13 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2025-01-19 22:09:13 -0300
commit355690f76f3ca895ade25d281beb1eea27e1f53e (patch)
tree7d89760b95b79c5e45c4be94652dd2b65a1e6d89 /lib/protocol.ml
parent919b7f1a81982533ff4ab33730c68313690c2b77 (diff)
downloadSakura-355690f76f3ca895ade25d281beb1eea27e1f53e.tar.gz
Sakura-355690f76f3ca895ade25d281beb1eea27e1f53e.zip
add typing and schema
Diffstat (limited to '')
-rw-r--r--lib/protocol.ml15
1 files changed, 15 insertions, 0 deletions
diff --git a/lib/protocol.ml b/lib/protocol.ml
new file mode 100644
index 0000000..9dea3ce
--- /dev/null
+++ b/lib/protocol.ml
@@ -0,0 +1,15 @@
+open Protocol_conv_xml
+open Sexplib0.Sexp_conv
+
+type tuple = string list
+[@@deriving sexp, protocol ~driver:(module Xml_light)]
+
+type relation = {
+ attribute_name : string;
+ attribute_type : string;
+ tuples : tuple;
+}
+[@@deriving sexp, protocol ~driver:(module Xml_light)]
+
+type facts = relation list
+[@@deriving sexp, protocol ~driver:(module Xml_light)] \ No newline at end of file