aboutsummaryrefslogblamecommitdiffstats
path: root/lib/protocol.ml
blob: 5fe29d1e57ffa071ba32d374d11f482b67fe515f (plain) (tree)
1
2
3
4
5
6
7


                       
                                                                               
 

                                               







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