aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocol.ml
blob: 5fe29d1e57ffa071ba32d374d11f482b67fe515f (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
open Protocol_conv_xml
open Sexplib0.Sexp_conv

type tuple = string list [@@deriving sexp, protocol ~driver:(module Xml_light)]

type command = Disk.Command.t [@@deriving sexp]

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)]