diff options
Diffstat (limited to 'lib/protocol.ml')
| -rw-r--r-- | lib/protocol.ml | 15 |
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 |