From 355690f76f3ca895ade25d281beb1eea27e1f53e Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sun, 19 Jan 2025 22:09:13 -0300 Subject: add typing and schema --- lib/protocol.ml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 lib/protocol.ml (limited to 'lib/protocol.ml') 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 -- cgit v1.2.3